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 | } |