Index: arch/mips32/Makefile.inc
===================================================================
--- arch/mips32/Makefile.inc	(revision 7e9769fbc174d2e0d860058023ca8aa09cea950a)
+++ arch/mips32/Makefile.inc	(revision e45600862ecf3dd0be24765002ec447855e062ae)
@@ -49,7 +49,14 @@
 # MSIM needs lwl/swl patch & 4kc instruction patch to work
 # otherwise add -mmemcpy -mips3
+ifeq (${MACHINE},msim4kc)
+ BFD = binary
+ CFLAGS += -msoft-float -march=4kc 
+ KERNEL_LOAD_ADDRESS = 0x80100000
+ BFD_NAME=elf32-little
+endif
+
 ifeq (${MACHINE},msim)
  BFD = binary
- CFLAGS += -msoft-float -march=4kc 
+ CFLAGS += -msoft-float -mips3
  KERNEL_LOAD_ADDRESS = 0x80100000
  BFD_NAME=elf32-little
Index: arch/mips32/src/drivers/arc.c
===================================================================
--- arch/mips32/src/drivers/arc.c	(revision 7e9769fbc174d2e0d860058023ca8aa09cea950a)
+++ arch/mips32/src/drivers/arc.c	(revision e45600862ecf3dd0be24765002ec447855e062ae)
@@ -158,8 +158,6 @@
 	arc_memdescriptor_t *desc;
 
-	if (!arc_enabled()) {
-		printf("ARC not enabled.\n");
+	if (!arc_enabled())
 		return;
-	}
 
 	printf("Memory map:\n");