Index: arch/mips32/src/mips32.c
===================================================================
--- arch/mips32/src/mips32.c	(revision 3dcb108fa81dd39d274ae7339bba28b1d40d02e2)
+++ arch/mips32/src/mips32.c	(revision bf56fef3ce895befdf5bec80d65e6523c273e76a)
@@ -41,4 +41,5 @@
 #include <print.h>
 #include <syscall/syscall.h>
+#include <sysinfo/sysinfo.h>
 
 #include <arch/interrupt.h>
@@ -47,4 +48,5 @@
 #include <arch/debugger.h>
 #include <genarch/fb/fb.h>
+#include <debug.h>
 
 #include <arch/asm/regname.h>
@@ -117,4 +119,5 @@
 		fb_init(0x12000000, 640, 480, 24, 1920); // gxemul framebuffer
 #endif
+		sysinfo_set_item_val("machine." STRING(MACHINE),NULL,1);
 }