/kernel/trunk/arch/ppc32/Makefile.inc |
---|
55,6 → 55,11 |
CONFIG_PAGE_PT = y |
DEFS += -DCONFIG_PAGE_PT |
## Compile with support for software integer division. |
# |
CONFIG_SOFTINT = y |
ARCH_SOURCES = \ |
arch/$(ARCH)/src/console.c \ |
arch/$(ARCH)/src/context.S \ |
/kernel/trunk/arch/ppc32/src/mm/memory_init.c |
---|
43,5 → 43,5 |
count_t i; |
for (i = 0; i < bootinfo.memmap.count; i++) |
printf("base: %L size: %L\n", bootinfo.memmap.zones[i].start, bootinfo.memmap.zones[i].size); |
printf("base: %#X size: %#X\n", bootinfo.memmap.zones[i].start, bootinfo.memmap.zones[i].size); |
} |