Add Linux's math64.h
[akaros.git] / kern / src / manager.c
index 677e5ef..e190ca7 100644 (file)
@@ -10,7 +10,6 @@
 #include <arch/init.h>
 #include <mm.h>
 #include <elf.h>
-#include <frontend.h>
 
 #include <kmalloc.h>
 #include <assert.h>
@@ -23,7 +22,6 @@
 #include <stdio.h>
 #include <time.h>
 #include <monitor.h>
-#include <colored_caches.h>
 #include <string.h>
 #include <pmap.h>
 #include <arch/console.h>