diff --git a/mm/memory.c b/mm/memory.c
index 92da2682..467430e0 100644
--- a/mm/memory.c
+++ b/mm/memory.c
@@ -23,6 +23,7 @@
 #include <metalsvm/spinlock.h>
 #include <metalsvm/time.h>
 #include <metalsvm/elf.h>
+#include <metalsvm/processor.h>
 #ifdef CONFIG_MULTIBOOT
 #include <asm/multiboot.h>
 #endif
@@ -109,7 +110,8 @@ int mmu_init(void)
 		}
 	} else {
 		kputs("Unable to initialize the memory management subsystem\n");
-		while(1) ;
+		while(1) 
+			NOP8;
 	}
 
 	/*