...

src/kernel/kernel.c

@@ -1,11 +1,7 @@
 #include "kernel.h"
-#include "pmm.h"
+#include "std.h"
 
 void kernel_main()
 {
-    pmm_init();
-
-    uint64_t page = pmm_alloc_page();
-    printf("page: %u\n", page);
     printf("Welcome to nub OS :)\n");
 }