zx128: update for tty_sleeping

diff --git a/Kernel/platform-zx128/devtty.c b/Kernel/platform-zx128/devtty.c
index 0f02992..d50893d 100644 (file)
--- a/Kernel/platform-zx128/devtty.c
+++ b/Kernel/platform-zx128/devtty.c
@@ -83,6 +83,11 @@ void tty_setup(uint8_t minor)
        minor;
 }
 
+void tty_sleeping(uint8_t minor)
+{
+       minor;
+}
+
 void update_keyboard(void)
 {
        /* We need this assembler code because SDCC __sfr cannot handle 16-bit addresses. And because it is much faster, of course  */