Index: uspace/lib/c/arch/mips32/Makefile.common
===================================================================
--- uspace/lib/c/arch/mips32/Makefile.common	(revision e4d96e9386cdf86237fbc59dfe286c09d4a45432)
+++ uspace/lib/c/arch/mips32/Makefile.common	(revision 8fe2c9bdbf4cd735969137d973f2ce061bae7aa9)
@@ -27,5 +27,5 @@
 #
 
-GCC_CFLAGS += -msoft-float -mips3 -mabi=32
+GCC_CFLAGS += -msoft-float -mabi=32
 BASE_LIBS += $(LIBSOFTFLOAT_PREFIX)/libsoftfloat.a
 
@@ -34,2 +34,11 @@
 BFD_ARCH = mips
 BFD_NAME = elf32-tradlittlemips
+
+ifeq ($(MACHINE),msim)
+	GCC_CFLAGS += -march=r4000 
+endif
+
+ifeq ($(MACHINE),lmalta)
+	GCC_CFLAGS += -march=4kc
+endif
+