1 |
|
2003-10-04 Marcus Brinkmann <marcus@gnu.org> |
2 |
|
|
3 |
|
* loader.c: Include <l4/kip.h>. |
4 |
|
(mem_check): Change type of address args to l4_word_t. Use |
5 |
|
l4_memory_desc_low and l4_memory_desc_high to determine range of |
6 |
|
memory descriptor. The high address is inclusive now, so take |
7 |
|
this into account. Allow conventional memory descriptors to |
8 |
|
override non-conventional. Use L4_PRIxWORD. |
9 |
|
|
10 |
2003-10-01 Johan Rydberg <jrydberg@night.trouble.net> |
2003-10-01 Johan Rydberg <jrydberg@night.trouble.net> |
11 |
|
|
12 |
* wortel.c (serve_bootstrap_requests): Only throw away page zero |
* wortel.c (serve_bootstrap_requests): Only throw away page zero |