lunaix-os/kernel/k_main.c

   1 #include <stdint.h>
   2 #include <lunaix/mm/vmm.h>
   3 #include <lunaix/mm/dmm.h>
   4 #include <hal/cpu.h>
   5 #include <libc/stdio.h>
   6 #include <lunaix/spike.h>
   7
   8 extern uint8_t __kernel_start;
   9
  10 void
  11 _kernel_main()
  12 {
  13     char buf[64];
  14
  15     printf("Hello higher half kernel world!\nWe are now running in virtual "
  16            "address space!\n\n");
  17
  18     cpu_get_brand(buf);
  19     printf("CPU: %s\n\n", buf);
  20
  21     void* k_start = vmm_v2p(&__kernel_start);
  22     printf("The kernel's base address mapping: %p->%p\n", &__kernel_start, k_start);
  23
  24     // test malloc & free
  25
  26     uint32_t** arr = (uint32_t**) lx_malloc(10 * sizeof(uint32_t*));
  27
  28     for (size_t i = 0; i < 10; i++)
  29     {
  30         arr[i] = (uint32_t*) lx_malloc((i + 1) * 2);
  31     }
  32
  33     void* big_ = lx_malloc(8192);
  34
  35     for (size_t i = 0; i < 10; i++)
  36     {
  37         lx_free(arr[i]);
  38     }
  39
  40     lx_free(arr);
  41     lx_free(big_);
  42 }