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