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