x86: Userspace code to restart ROS TFs
[akaros.git] / user / include / hart.h
index 6f82ad3..ac7b5a5 100644 (file)
@@ -6,6 +6,7 @@ extern "C" {
 #endif
 
 #include <ros/arch/hart.h>
+#include <arch/hart.h>
 #include <string.h>
 
 #define HART_LOG2_MAX_MAX_HARTS 6