1 |
|
2003-10-04 Marcus Brinkmann <marcus@gnu.org> |
2 |
|
|
3 |
|
* laden.h (add_memory_map): Don't round END up to 1K. |
4 |
|
* ia32-cmain.c (find_components): Pass the address of the last |
5 |
|
byte as END to add_memory_map. Don't do bogus alignment check |
6 |
|
without BIOS map. Add 0xc0000 - 0xf0000 as shared memory. |
7 |
|
Initially, add the whole address space as shared memory to allow |
8 |
|
arbitrary device access. |
9 |
|
* loader.c: Include <l4/kip.h>. |
10 |
|
(mem_check): Change type of address args to l4_word_t. Use |
11 |
|
l4_memory_desc_low and l4_memory_desc_high to determine range of |
12 |
|
memory descriptor. The high address is inclusive now, so take |
13 |
|
this into account. Allow conventional memory descriptors to |
14 |
|
override non-conventional. Use L4_PRIxWORD. |
15 |
|
|
16 |
2003-09-29 Marcus Brinkmann <marcus@gnu.org> |
2003-09-29 Marcus Brinkmann <marcus@gnu.org> |
17 |
|
|
18 |
* loader.c (loader_elf_load): Fix wordsize check. Submitted by |
* loader.c (loader_elf_load): Fix wordsize check. Submitted by |