Merged the timing and measurement stuff together and cleaned it up a bit
[akaros.git] / kern / env.h
index d08613f..4104edf 100644 (file)
@@ -3,6 +3,7 @@
 #ifndef ROS_KERN_ENV_H
 #define ROS_KERN_ENV_H
 
+#include <inc/x86.h>
 #include <inc/env.h>
 
 #ifndef ROS_MULTIENV