Several fixes - the MR BIOS'es now work on the recompiler (thank you, port EBh!), so they have been moved out of the Dev branch.

src/postcard.c

@@ -26,6 +26,7 @@
 #include <86box/plat.h>
 #include <86box/ui.h>
 #include <86box/postcard.h>
+#include "cpu.h"
 
 
 static uint16_t	postcard_port;
@@ -98,6 +99,9 @@ postcard_write(uint16_t port, uint8_t val, void *priv)
     if (postcard_written && val == postcard_code)
     	return;
 
+    if (val == 0x13)
+	pclog("[%04X:%08X] POST 13\n", CS, cpu_state.pc);
+
     postcard_prev_code = postcard_code;
     postcard_code = val;
     if (postcard_written < 2)