| 36,16 → 36,20 |
|---|
| #include <config.h> |
| #include "../aux_print/printf.h" |
| |
| __address last_frame = 0; |
| |
| /** Create memory zones. */ |
| void frame_arch_init(void) |
| { |
| aux_printf("frame_arch_init ... begin\n"); |
| |
| // all memory as one zone |
| zone_create(0, ADDR2PFN(config.memory_size), 11, 0); |
| /* |
| * Blacklist interrupt vector + Kernels from boot loader page table |
| */ |
| last_frame = config.memory_size; |
| |
| /* Blacklist interrupt vector + Kernels from boot loader page table */ |
| frame_mark_unavailable(0, 10); |
| |
| aux_printf("frame_arch_init ... end\n"); |
| } |
| |