2 #include <lunaix/mm/vmm.h>
3 #include <lunaix/mm/dmm.h>
5 #include <libc/stdio.h>
7 extern uint8_t __kernel_start;
14 printf("Hello higher half kernel world!\nWe are now running in virtual "
15 "address space!\n\n");
18 printf("CPU: %s\n\n", buf);
20 void* k_start = vmm_v2p(&__kernel_start);
21 printf("The kernel's base address mapping: %p->%p\n", &__kernel_start, k_start);
27 uint32_t** arr = (uint32_t**) lx_malloc(10 * sizeof(uint32_t*));
29 for (size_t i = 0; i < 10; i++)
31 arr[i] = (uint32_t*) lx_malloc((i + 1) * 2);
34 void* big_ = lx_malloc(8192);
36 for (size_t i = 0; i < 10; i++)