lunaix-os/kernel/k_main.c

   1 #include <stdint.h>
   2 #include <lunaix/mm/vmm.h>
   3 #include <hal/cpu.h>
   4 #include <libc/stdio.h>
   5
   6 extern uint8_t __kernel_start;
   7
   8 void
   9 _kernel_main()
  10 {
  11     char buf[64];
  12
  13     printf("Hello higher half kernel world!\nWe are now running in virtual "
  14            "address space!\n\n");
  15
  16     cpu_get_brand(buf);
  17     printf("CPU: %s\n\n", buf);
  18
  19     void* k_start = vmm_v2p(&__kernel_start);
  20     printf("The kernel's base address mapping: %p->%p\n", &__kernel_start, k_start);
  21
  22     // assert(0);
  23 }