Rev 105 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 105 | Rev 113 | ||
|---|---|---|---|
| Line 35... | Line 35... | ||
| 35 | * TODO: use the memory map obtained from BIOS |
35 | * TODO: use the memory map obtained from BIOS |
| 36 | */ |
36 | */ |
| 37 | void frame_arch_init(void) |
37 | void frame_arch_init(void) |
| 38 | { |
38 | { |
| 39 | if (config.cpu_active == 1) { |
39 | if (config.cpu_active == 1) { |
| 40 | kernel_frames = frames; |
- | |
| 41 | kernel_frames_free = frames_free; |
- | |
| 42 | frame_kernel_bitmap = frame_bitmap; |
- | |
| 43 | - | ||
| 44 | frame_not_free(0x0); |
40 | frame_not_free(0x0); |
| 45 | 41 | ||
| 46 | frame_region_not_free(0xa0000,0xff000); |
42 | frame_region_not_free(0xa0000,0xff000); |
| 47 | frame_region_not_free(0xfec00000,0xffffffff); |
43 | frame_region_not_free(0xfec00000,0xffffffff); |
| 48 | } |
44 | } |