void*

src/arch/x86_64/main.c

@@ -3,6 +3,7 @@
 #include "interrupts/irq.h"
 #include "kernel.h"
 #include "mem/pmm.h"
+#include "mem/vmm.h"
 #include "panic.h"
 #include "util.h"
 
@@ -25,6 +26,8 @@ void x86_64_main(u32 magic, multiboot_info_t* info)
     enable_interrupts();
 
     pmm_init(info);
+    void* mem = vmm_alloc(1);
+    vmm_free(mem, 1);
 
     kernel_main();
 }