Index: HelenOS.config
===================================================================
--- HelenOS.config	(revision f9ab5620884e9f2437e4ff904764b61f1b9c6389)
+++ HelenOS.config	(revision 5a00ee0b256b71b47f0355c43ee3447525802c93)
@@ -46,4 +46,5 @@
 @ "bgxemul" GXEmul big endian
 @ "lgxemul" GXEmul little endian
+@ "malta" MIPS Malta Development Board
 ! [PLATFORM=mips32] MACHINE (choice)
 
@@ -98,4 +99,12 @@
 ! [PLATFORM=arm32&MACHINE=beagleboardxm] PROCESSOR (choice)
 
+% CPU type
+@ "R4000" MIPS R4000
+! [PLATFORM=mips32&MACHINE=msim] PROCESSOR (choice)
+
+% CPU type
+@ "4Kc" MIPS 4Kc
+! [PLATFORM=mips32&MACHINE=malta] PROCESSOR (choice)
+
 % RAM disk format
 @ "tmpfs" TMPFS image
@@ -176,5 +185,5 @@
 % User space architecture
 @ "mips32"
-! [PLATFORM=mips32&(MACHINE=msim|MACHINE=lgxemul)] UARCH (choice)
+! [PLATFORM=mips32&(MACHINE=msim|MACHINE=lgxemul|MACHINE=malta)] UARCH (choice)
 
 % User space architecture
@@ -251,4 +260,8 @@
 @ "binary"
 ! [PLATFORM=mips32&MACHINE=msim] IMAGE (choice)
+
+% Image format
+@ "elf"
+! [PLATFORM=mips32&MACHINE=malta] IMAGE (choice)
 
 % Image format
@@ -430,5 +443,5 @@
 @ "generic" Monitor or serial line
 @ "none" No output device
-! [PLATFORM=ia32|PLATFORM=amd64|PLATFORM=sparc64|PLATFORM=ppc32|(PLATFORM=ia64&MACHINE=i460GX)|(PLATFORM=mips32&MACHINE=msim)|(PLATFORM=mips64&MACHINE=msim)] CONFIG_HID_OUT (choice)
+! [PLATFORM=ia32|PLATFORM=amd64|PLATFORM=sparc64|PLATFORM=ppc32|(PLATFORM=ia64&MACHINE=i460GX)|(PLATFORM=mips32&(MACHINE=msim|MACHINE=malta))|(PLATFORM=mips64&MACHINE=msim)] CONFIG_HID_OUT (choice)
 
 % Output device class
Index: boot/arch/mips32/Makefile.inc
===================================================================
--- boot/arch/mips32/Makefile.inc	(revision f9ab5620884e9f2437e4ff904764b61f1b9c6389)
+++ boot/arch/mips32/Makefile.inc	(revision 5a00ee0b256b71b47f0355c43ee3447525802c93)
@@ -49,4 +49,10 @@
 	ENDIANESS = LE
 endif
+ifeq ($(MACHINE),malta)
+	BFD_NAME = elf32-tradlittlemips
+	BFD_OUTPUT = elf32-tradlittlemips 
+	ENDIANESS = LE
+endif
+
 
 SOURCES = \
Index: defaults/mips32/malta/Makefile.config
===================================================================
--- defaults/mips32/malta/Makefile.config	(revision 5a00ee0b256b71b47f0355c43ee3447525802c93)
+++ defaults/mips32/malta/Makefile.config	(revision 5a00ee0b256b71b47f0355c43ee3447525802c93)
@@ -0,0 +1,2 @@
+# Machine type
+MACHINE = malta 
Index: kernel/arch/mips32/Makefile.inc
===================================================================
--- kernel/arch/mips32/Makefile.inc	(revision f9ab5620884e9f2437e4ff904764b61f1b9c6389)
+++ kernel/arch/mips32/Makefile.inc	(revision 5a00ee0b256b71b47f0355c43ee3447525802c93)
@@ -49,4 +49,8 @@
 	ENDIANESS = LE
 endif
+ifeq ($(MACHINE),malta)
+	BFD_NAME = elf32-tradlittlemips
+	ENDIANESS = LE
+endif
 
 ARCH_SOURCES = \
Index: tools/autotool.py
===================================================================
--- tools/autotool.py	(revision f9ab5620884e9f2437e4ff904764b61f1b9c6389)
+++ tools/autotool.py	(revision 5a00ee0b256b71b47f0355c43ee3447525802c93)
@@ -676,5 +676,5 @@
 				common['CC_ARGS'].append("-mabi=32")
 				
-				if ((config['MACHINE'] == "lgxemul") or (config['MACHINE'] == "msim")):
+				if ((config['MACHINE'] == "lgxemul") or (config['MACHINE'] == "msim") or (config['MACHINE'] == 'malta')):
 					target = config['PLATFORM']
 					gnu_target = "mipsel-linux-gnu"