Index: kernel/arch/mips32/Makefile.inc
===================================================================
--- kernel/arch/mips32/Makefile.inc	(revision 22e8166d31603820c5ff6a19314d26c8a16f3ece)
+++ kernel/arch/mips32/Makefile.inc	(revision 0d387d2adba60bc09a047a4aeb5fe9c90f7ad2cc)
@@ -57,18 +57,4 @@
 #
 
-ifeq ($(MACHINE),indy)
-	# GCC 4.0.1 compiled for mipsEL has problems compiling in 
-	# BigEndian mode with the swl/swr/lwl/lwr instructions.
-	# We have to compile it with mips-sgi-irix5 to get it right.
-	
-	BFD_NAME = elf32-bigmips
-	BFD = ecoff-bigmips --impure
-	TARGET = mips-sgi-irix5
-	TOOLCHAIN_DIR = /usr/local/mips/bin
-	KERNEL_LOAD_ADDRESS = 0x88002000
-	GCC_CFLAGS += -EB -DBIG_ENDIAN -DARCH_HAS_FPU -march=r4600
-	INIT_ADDRESS = 0
-	INIT_SIZE = 0
-endif
 ifeq ($(MACHINE),lgxemul)
 	BFD_NAME = elf32-tradlittlemips
@@ -124,5 +110,4 @@
 	arch/$(ARCH)/src/fpu_context.c \
 	arch/$(ARCH)/src/ddi/ddi.c \
-	arch/$(ARCH)/src/drivers/arc.c \
 	arch/$(ARCH)/src/drivers/msim.c \
 	arch/$(ARCH)/src/drivers/serial.c \