/branches/arm/kernel/arch/arm32/src/mm/frame.c |
---|
53,6 → 53,9 |
/* blacklist boot page table */ |
frame_mark_unavailable(BOOT_PAGE_TABLE_START_FRAME, |
BOOT_PAGE_TABLE_SIZE_IN_FRAMES); |
/* Machine specific frame initialization */ |
machine_frame_init(); |
} |
/** Frees the boot page table. */ |