Index: arch/mips32/src/mips32.c
===================================================================
--- arch/mips32/src/mips32.c	(revision 3dcb108fa81dd39d274ae7339bba28b1d40d02e2)
+++ arch/mips32/src/mips32.c	(revision 616f175962fda61a6a7ac7fcc1c3e6bc51d71fa9)
@@ -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);
 }