Index: kernel/arch/mips32/src/mm/frame.c
===================================================================
--- kernel/arch/mips32/src/mm/frame.c	(revision 14febed99d983f8eb0e743677bbec7ee7df1e157)
+++ kernel/arch/mips32/src/mm/frame.c	(revision b0fc92c51f81f569086cf49f631e3011959cbd53)
@@ -40,5 +40,7 @@
 #include <mm/asid.h>
 #include <config.h>
+#ifdef MACHINE_msim
 #include <arch/drivers/msim.h>
+#endif
 #include <arch/arch.h>
 #include <print.h>