...

src/kernel/kernel.c

@@ -1,22 +1,11 @@
 #include "kernel.h"
-#include "alloc.h"
-#include "arch.h"
-#include "assert.h"
-#include "std.h"
+#include <arch.h>
+#include <printf.h>
 
 void kernel_main()
 {
-    assert(false, "test");
-
     arch_api.enable_interrupts();
 
-    u64* mem = malloc(1);
-    *mem = 23;
-
-    printf("%d\n", *mem);
-
-    free(mem);
-
     printf("Welcome to nub OS :)\n");
     printf("Kernel has exited\n");
     arch_api.halt();