v85: update for the latest v85 to allow reboot

diff --git a/Kernel/platform-v85/v85.s b/Kernel/platform-v85/v85.s
index 3d4b5f1..2384d03 100644 (file)
--- a/Kernel/platform-v85/v85.s
+++ b/Kernel/platform-v85/v85.s
@@ -12,8 +12,9 @@
 
 _platform_monitor:
 _platform_reboot:
-       di
-       hlt
+       xra a
+       out 0x40                ! Map ROM back in
+       rst 0
 
 .define platform_interrupt_all