| /branches/arm/boot/arch/arm32/loader/main.c |
|---|
| 43,7 → 43,7 |
| #include "mm.h" |
| /** Kernel entry point address. */ |
| #define KERNEL_VIRTUAL_ADDRESS 0x80150000 |
| #define KERNEL_VIRTUAL_ADDRESS 0x80200000 |
| char *release = RELEASE; |
| /branches/arm/boot/arch/arm32/loader/pack |
|---|
| 55,8 → 55,8 |
| *(COMMON); /* global variables */ |
| *(.reginfo); |
| . = ALIGN(16384); |
| *(PT); /* page table */" > "$LINK" |
| . = 0x4000; |
| *(PT); /* page table placed at 0x4000 */" > "$LINK" |
| echo ' |
| /** @addtogroup arm32boot |