1 #include <lunaix/constants.h>
2 #include <lunaix/tty/tty.h>
4 #include <lunaix/mm/page.h>
5 #include <lunaix/mm/pmm.h>
6 #include <lunaix/mm/vmm.h>
7 #include <lunaix/mm/dmm.h>
8 #include <lunaix/spike.h>
10 #include <arch/x86/boot/multiboot.h>
11 #include <arch/x86/idt.h>
13 #include <libc/stdio.h>
19 extern uint8_t __kernel_start;
20 extern uint8_t __kernel_end;
21 extern uint8_t __init_hhk_end;
24 setup_memory(multiboot_memory_map_t* map, size_t map_size);
27 setup_kernel_runtime();
30 _kernel_pre_init(multiboot_info_t* mb_info) {
33 pmm_init(MEM_1MB + (mb_info->mem_upper << 10));
36 tty_init((void*)VGA_BUFFER_PADDR);
37 tty_set_theme(VGA_COLOR_GREEN, VGA_COLOR_BLACK);
41 _kernel_init(multiboot_info_t* mb_info) {
42 printf("[KERNEL] === Initialization === \n");
44 printf("[MM] Mem: %d KiB, Extended Mem: %d KiB\n",
48 unsigned int map_size = mb_info->mmap_length / sizeof(multiboot_memory_map_t);
49 setup_memory((multiboot_memory_map_t*)mb_info->mmap_addr, map_size);
50 setup_kernel_runtime();
55 printf("[KERNEL] === Post Initialization === \n");
56 size_t hhk_init_pg_count = ((uintptr_t)(&__init_hhk_end)) >> PG_SIZE_BITS;
57 printf("[MM] Releaseing %d pages from 0x0.\n", hhk_init_pg_count);
59 // 清除 hhk_init 与前1MiB的映射
60 for (size_t i = 0; i < hhk_init_pg_count; i++) {
61 vmm_unmap_page((void*)(i << PG_SIZE_BITS));
67 // 按照 Memory map 标识可用的物理页
69 setup_memory(multiboot_memory_map_t* map, size_t map_size) {
70 for (unsigned int i = 0; i < map_size; i++) {
71 multiboot_memory_map_t mmap = map[i];
72 printf("[MM] Base: 0x%x, len: %u KiB, type: %u\n",
76 if (mmap.type == MULTIBOOT_MEMORY_AVAILABLE) {
78 uintptr_t pg = map[i].addr_low + 0x0fffU;
79 pmm_mark_chunk_free(pg >> PG_SIZE_BITS, map[i].len_low >> PG_SIZE_BITS);
80 printf("[MM] Freed %u pages start from 0x%x\n",
81 map[i].len_low >> PG_SIZE_BITS,
87 size_t pg_count = (uintptr_t)(&__kernel_end - &__kernel_start) >> PG_SIZE_BITS;
88 pmm_mark_chunk_occupied(V2P(&__kernel_start) >> PG_SIZE_BITS, pg_count);
89 printf("[MM] Allocated %d pages for kernel.\n", pg_count);
92 size_t vga_buf_pgs = VGA_BUFFER_SIZE >> PG_SIZE_BITS;
95 pmm_mark_chunk_occupied(VGA_BUFFER_PADDR >> PG_SIZE_BITS, vga_buf_pgs);
97 // 重映射VGA文本缓冲区(以后会变成显存,i.e., framebuffer)
98 for (size_t i = 0; i < vga_buf_pgs; i++)
101 (void*)(VGA_BUFFER_VADDR + (i << PG_SIZE_BITS)),
102 (void*)(VGA_BUFFER_PADDR + (i << PG_SIZE_BITS)),
108 tty_set_buffer((void*)VGA_BUFFER_VADDR);
110 printf("[MM] Mapped VGA to %p.\n", VGA_BUFFER_VADDR);
114 setup_kernel_runtime() {
116 for (size_t i = 0; i < (K_STACK_SIZE >> PG_SIZE_BITS); i++) {
117 vmm_alloc_page((void*)(K_STACK_START + (i << PG_SIZE_BITS)), PG_PREM_RW);
119 printf("[MM] Allocated %d pages for stack start at %p\n", K_STACK_SIZE>>PG_SIZE_BITS, K_STACK_START);