zxdiv: halt on idle

diff --git a/Kernel/platform-zxdiv/main.c b/Kernel/platform-zxdiv/main.c
index f2e374f..85e6711 100644 (file)
--- a/Kernel/platform-zxdiv/main.c
+++ b/Kernel/platform-zxdiv/main.c
@@ -12,9 +12,9 @@ uint16_t swap_dev = 0xFFFF;
 void platform_idle(void)
 {
   /* We don't want an idle poll and IRQ driven tty poll at the same moment */
-  irqflags_t irq = di();
-  tty_pollirq(); 
-  irqrestore(irq);
+  __asm
+   halt
+  __endasm;
 }
 
 void platform_interrupt(void)