updated readme, fix configuration shell invoked twice.
[lunaix-os.git] / lunaix-os / kernel / boot_helper.c
index ebc60d75cd88da21fe81d8dadafd1b5903a23468..37e6bb4775ce991c1522c7e59d54a6ecae1f8e1c 100644 (file)
@@ -5,7 +5,7 @@
 #include <lunaix/spike.h>
 #include <lunaix/kcmd.h>
 #include <lunaix/sections.h>
-#include <sys/mm/mm_defs.h>
+#include <asm/mm_defs.h>
 
 /**
  * @brief Reserve memory for kernel bootstrapping initialization