Index: kernel/arch/mips32/Makefile.inc
===================================================================
--- kernel/arch/mips32/Makefile.inc	(revision 1515522110c67f91ca381c60a6723f751634a16b)
+++ kernel/arch/mips32/Makefile.inc	(revision afdd4413e3f7b3d09d304f72105a62d40faad30c)
@@ -53,13 +53,4 @@
 	GCC_CFLAGS += -EB -DBIG_ENDIAN -mips3
 endif
-ifeq ($(MACHINE),simics)
-	# SIMICS 4kc emulation is broken, although for instructions
-	# that do not bother us
-	
-	BFD_NAME = elf32-tradlittlemips
-	BFD = elf32-tradlittlemips
-	GCC_CFLAGS += -mhard-float -mips3 -DTLBCNT=16
-	TLBCNT = 16
-endif
 ifeq ($(MACHINE),msim)
 	BFD_NAME = elf32-tradlittlemips
@@ -86,5 +77,4 @@
 	arch/$(KARCH)/src/fpu_context.c \
 	arch/$(KARCH)/src/ddi/ddi.c \
-	arch/$(KARCH)/src/drivers/msim.c \
 	arch/$(KARCH)/src/smp/dorder.c \
 	arch/$(KARCH)/src/smp/smp.c