3 #include <lunaix/constants.h>
4 #include <lunaix/tty/tty.h>
6 #include <lunaix/mm/page.h>
7 #include <lunaix/mm/pmm.h>
8 #include <lunaix/mm/vmm.h>
12 #include <arch/x86/boot/multiboot.h>
13 #include <arch/x86/gdt.h>
14 #include <arch/x86/idt.h>
16 #include <libc/stdio.h>
18 extern void __kernel_start;
19 extern void __kernel_end;
20 extern void __init_hhk_end;
23 _kernel_init(multiboot_info_t* mb_info)
27 multiboot_memory_map_t* map = (multiboot_memory_map_t*)mb_info->mmap_addr;
30 // (v) 根据memory map初始化内存管理器
33 // ( ) + 映射 memory map (APCI,APIC,IO映射) (以后)
34 // (v) + 释放 hhk_init 所占据的空间
37 pmm_init(MEM_1MB + mb_info->mem_upper << 10);
39 tty_init(VGA_BUFFER_PADDR);
41 tty_set_theme(VGA_COLOR_GREEN, VGA_COLOR_BLACK);
43 printf("[KERNEL] Initializing Memory ...\n");
44 unsigned int map_size =
45 mb_info->mmap_length / sizeof(multiboot_memory_map_t);
46 printf("[MM] Mem: %d KiB, Extended Mem: %d KiB\n",
50 // 按照 Memory map 标识可用的物理页
51 for (unsigned int i = 0; i < map_size; i++) {
52 multiboot_memory_map_t mmap = map[i];
53 printf("[MM] Base: 0x%x, len: %u KiB, type: %u\n",
57 if (mmap.type == MULTIBOOT_MEMORY_AVAILABLE) {
59 uintptr_t pg = map[i].addr_low + 0x0fffU;
60 pmm_mark_chunk_free(pg >> 12, map[i].len_low >> 12);
61 printf("[MM] Freed %u pages start from 0x%x\n",
68 size_t pg_count = (uintptr_t)(&__kernel_end - &__kernel_start) >> 12;
69 pmm_mark_chunk_occupied(V2P(&__kernel_start) >> 12, pg_count);
70 printf("[MM] Allocated %d pages for kernel.\n", pg_count);
73 size_t hhk_init_pg_count = ((uintptr_t)(&__init_hhk_end)) >> 12;
74 printf("[MM] Releaseing %d pages from 0x0.\n", hhk_init_pg_count);
76 // 清除 hhk_init 与前1MiB的映射
77 // 从这里开始,到新的vga缓存地址设置前,不能够进行任何的打印操作
78 for (size_t i = 0; i < hhk_init_pg_count; i++) {
79 vmm_unmap_page((i << 12));
82 size_t vga_buf_pgs = VGA_BUFFER_SIZE >> 12;
85 pmm_mark_chunk_occupied(VGA_BUFFER_PADDR >> 12, vga_buf_pgs);
87 // 重映射VGA文本缓冲区(以后会变成显存,i.e., framebuffer)
88 for (size_t i = 0; i < vga_buf_pgs; i++)
90 vmm_map_page(VGA_BUFFER_VADDR + (i << 12), VGA_BUFFER_PADDR + (i << 12), PG_PREM_RW, PG_PREM_RW);
94 tty_set_buffer(VGA_BUFFER_VADDR);
96 printf("[MM] Mapped VGA to %p.\n", VGA_BUFFER_VADDR);
99 for (size_t i = 0; i < (K_STACK_SIZE >> 12); i++) {
100 vmm_alloc_page(K_STACK_START + (i << 12), PG_PREM_RW, PG_PREM_RW);
102 printf("[MM] Allocated %d pages for stack start at %p\n", K_STACK_SIZE>>12, K_STACK_START);
104 printf("[KERNEL] Done!\n\n");
112 printf("Hello higher half kernel world!\nWe are now running in virtual "
113 "address space!\n\n");
116 printf("CPU: %s\n\n", buf);
118 uintptr_t k_start = vmm_v2p(&__kernel_start);
119 printf("The kernel's base address mapping: %p->%p\n", &__kernel_start, k_start);
120 // __asm__("int $0\n");