Initial commit for socket related networking stuff.
[akaros.git] / kern / src / colored_caches.c
index 02662a2..571c9e9 100644 (file)
@@ -12,7 +12,7 @@
 
 #include <ros/common.h>
 #include <arch/mmu.h>
-#include <arch/bitmask.h>
+#include <bitmask.h>
 #include <colored_caches.h>
 #include <stdio.h>
 #include <atomic.h>