zx128: fix devtty header

Lots more needed to start getting this port on the road usefully

diff --git a/Kernel/platform-zx128/devtty.h b/Kernel/platform-zx128/devtty.h
index f63df33..039589f 100644 (file)
--- a/Kernel/platform-zx128/devtty.h
+++ b/Kernel/platform-zx128/devtty.h
@@ -5,9 +5,9 @@ void tty_pollirq(void);
 static void keydecode(void);
 
 #define KEY_ROWS       8
-#define KEY_COLS       8
+#define KEY_COLS       5
 extern uint8_t keymap[8];
-extern uint8_t keyboard[8][8];
-extern uint8_t shiftkeyboard[8][8];
+extern uint8_t keyboard[8][5];
+extern uint8_t shiftkeyboard[8][5];
 
 #endif