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 d5b9e8d0db718c208ae5e80f1ed56e9201df1a55)
@@ -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>