Index: kernel/doc/arch/mips32
===================================================================
--- kernel/doc/arch/mips32	(revision 0cf1dcf618f56b3af8ac02f020702b3d38273d91)
+++ kernel/doc/arch/mips32	(revision c738d657d3d585f90fca437b475d4589b00e50be)
@@ -15,5 +15,5 @@
 
 EMULATORS AND VIRTUALIZERS
-	o msim 1.2.8
+	o msim 1.2.12
         o gxemul - both big and little endian
         o simics 2.2.19