Only in msim-stdbyfix: config.h
Only in msim-stdbyfix: config.log
Only in msim-stdbyfix: config.status
Only in msim-stdbyfix: Makefile
diff -u -r msim-1.3.8.4/src/cpu/cpu.c msim-stdbyfix/src/cpu/cpu.c
--- msim-1.3.8.4/src/cpu/cpu.c	2014-02-18 13:33:28.000000000 +0100
+++ msim-stdbyfix/src/cpu/cpu.c	2015-04-09 18:01:55.517993596 +0200
@@ -1716,6 +1716,8 @@
 			res = excTLBS;
 	}
 	
+	if (cpu->stdby)
+		cpu->pc += 4;
 	cpu->stdby = false;
 	
 	/* User info and register fill */
