lunaix-os/kernel/k_main.c

   1 #include <stdint.h>
   2
   3 #include <lunaix/constants.h>
   4 #include <lunaix/tty/tty.h>
   5
   6 #include <lunaix/mm/page.h>
   7 #include <lunaix/mm/pmm.h>
   8 #include <lunaix/mm/vmm.h>
   9
  10 #include <hal/cpu.h>
  11
  12 #include <arch/x86/boot/multiboot.h>
  13 #include <arch/x86/gdt.h>
  14 #include <arch/x86/idt.h>
  15
  16 #include <libc/stdio.h>
  17
  18 extern void __kernel_start;
  19 extern void __kernel_end;
  20 extern void __init_hhk_end;
  21
  22 void
  23 _kernel_init(multiboot_info_t* mb_info)
  24 {
  25     _init_idt();
  26
  27     multiboot_memory_map_t* map = (multiboot_memory_map_t*)mb_info->mmap_addr;
  28
  29     // TODO: 内核初始化
  30     //   (v) 根据memory map初始化内存管理器
  31     //   (v) 分配新的栈空间
  32     //       调整映射：
  33     //   ( )    + 映射 memory map （APCI，APIC，IO映射） （以后）
  34     //   (v)    + 释放 hhk_init 所占据的空间
  35
  36 #pragma region INIT_MM
  37     // 初始化物理内存管理器
  38     pmm_init(MEM_1MB + mb_info->mem_upper << 10);
  39     vmm_init();
  40 #pragma endregion
  41
  42     // 初始化VGA
  43     tty_init(VGA_BUFFER_PADDR);
  44     tty_set_theme(VGA_COLOR_GREEN, VGA_COLOR_BLACK);
  45
  46     printf("[KERNEL] === Initialization === \n");
  47     unsigned int map_size =
  48       mb_info->mmap_length / sizeof(multiboot_memory_map_t);
  49     printf("[MM] Mem: %d KiB, Extended Mem: %d KiB\n",
  50            mb_info->mem_lower,
  51            mb_info->mem_upper);
  52
  53 #pragma region MMAP_SCAN_RESERVING_KERNEL_PGS
  54     // 按照 Memory map 标识可用的物理页
  55     for (unsigned int i = 0; i < map_size; i++) {
  56         multiboot_memory_map_t mmap = map[i];
  57         printf("[MM] Base: 0x%x, len: %u KiB, type: %u\n",
  58                map[i].addr_low,
  59                map[i].len_low >> 10,
  60                map[i].type);
  61         if (mmap.type == MULTIBOOT_MEMORY_AVAILABLE) {
  62             // 整数向上取整除法
  63             uintptr_t pg = map[i].addr_low + 0x0fffU;
  64             pmm_mark_chunk_free(pg >> 12, map[i].len_low >> 12);
  65             printf("[MM] Freed %u pages start from 0x%x\n",
  66                    map[i].len_low >> 12,
  67                    pg & ~0x0fffU);
  68         }
  69     }
  70
  71     // 将内核占据的页设为已占用
  72     size_t pg_count = (uintptr_t)(&__kernel_end - &__kernel_start) >> 12;
  73     pmm_mark_chunk_occupied(V2P(&__kernel_start) >> 12, pg_count);
  74     printf("[MM] Allocated %d pages for kernel.\n", pg_count);
  75 #pragma endregion
  76
  77     size_t vga_buf_pgs = VGA_BUFFER_SIZE >> 12;
  78
  79     // 首先，标记VGA部分为已占用
  80     pmm_mark_chunk_occupied(VGA_BUFFER_PADDR >> 12, vga_buf_pgs);
  81
  82     // 重映射VGA文本缓冲区（以后会变成显存，i.e., framebuffer）
  83     for (size_t i = 0; i < vga_buf_pgs; i++)
  84     {
  85         vmm_map_page(VGA_BUFFER_VADDR + (i << 12), VGA_BUFFER_PADDR + (i << 12), PG_PREM_RW, PG_PREM_RW);
  86     }
  87
  88     // 更新VGA缓冲区位置至虚拟地址
  89     tty_set_buffer(VGA_BUFFER_VADDR);
  90
  91     printf("[MM] Mapped VGA to %p.\n", VGA_BUFFER_VADDR);
  92
  93     // 为内核创建一个专属栈空间。
  94     for (size_t i = 0; i < (K_STACK_SIZE >> 12); i++) {
  95         vmm_alloc_page(K_STACK_START + (i << 12), PG_PREM_RW, PG_PREM_RW);
  96     }
  97     printf("[MM] Allocated %d pages for stack start at %p\n", K_STACK_SIZE>>12, K_STACK_START);
  98
  99     printf("[KERNEL] === Initialization Done === \n\n");
 100 }
 101
 102 void
 103 _kernel_post_init() {
 104     printf("[KERNEL] === Post Initialization === \n");
 105     size_t hhk_init_pg_count = ((uintptr_t)(&__init_hhk_end)) >> 12;
 106     printf("[MM] Releaseing %d pages from 0x0.\n", hhk_init_pg_count);
 107
 108     // 清除 hhk_init 与前1MiB的映射
 109     for (size_t i = 0; i < hhk_init_pg_count; i++) {
 110         vmm_unmap_page((i << 12));
 111     }
 112     printf("[KERNEL] === Post Initialization Done === \n\n");
 113 }
 114
 115 void
 116 _kernel_main()
 117 {
 118     char* buf[64];
 119
 120     printf("Hello higher half kernel world!\nWe are now running in virtual "
 121            "address space!\n\n");
 122
 123     cpu_get_brand(buf);
 124     printf("CPU: %s\n\n", buf);
 125
 126     uintptr_t k_start = vmm_v2p(&__kernel_start);
 127     printf("The kernel's base address mapping: %p->%p\n", &__kernel_start, k_start);
 128     // __asm__("int $0\n");
 129 }