zx128: fix keyboard polling

The NMOS di/irq_restore bug is now fixed so we can go back to polling here

diff --git a/Kernel/platform-zx128/main.c b/Kernel/platform-zx128/main.c
index 35acd63..89f146c 100644 (file)
--- a/Kernel/platform-zx128/main.c
+++ b/Kernel/platform-zx128/main.c
@@ -19,9 +19,10 @@ void pagemap_init(void)
    for the polled ports */
 void platform_idle(void)
 {
- __asm
-  halt
- __endasm;
+  /* We don't want an idle poll and IRQ driven tty poll at the same moment */
+  irqflags_t irq = di();
+  tty_pollirq(); 
+  irqrestore(irq);
 }
 
 void platform_interrupt(void)