/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 |