| /branches/arm/kernel/arch/arm32/src/mm/frame.c |
|---|
| 33,11 → 33,22 |
| */ |
| #include <mm/frame.h> |
| #include <config.h> |
| #include "../aux_print/printf.h" |
| /** Create memory zones. */ |
| void frame_arch_init(void) |
| { |
| /* TODO */ |
| aux_printf("frame_arch_init ... begin\n"); |
| // all memory as one zone |
| zone_create(0, ADDR2PFN(config.memory_size), 1, 0); |
| aux_printf("frame_arch_init ... 1\n"); |
| /* |
| * Blacklist interrupt vector |
| */ |
| frame_mark_unavailable(0, 1); |
| aux_printf("frame_arch_init ... end\n"); |
| } |
| /** @} |