dragon: Add empty tty_sleeping()

Signed-off-by: Tormod Volden <debian.tormod@gmail.com>

diff --git a/Kernel/platform-dragon/devtty.c b/Kernel/platform-dragon/devtty.c
index 86ce33a..ad11c8d 100644 (file)
--- a/Kernel/platform-dragon/devtty.c
+++ b/Kernel/platform-dragon/devtty.c
@@ -52,6 +52,11 @@ void tty_putc(uint8_t minor, unsigned char c)
                *uart_data = c; /* Data */
 }
 
+void tty_sleeping(uint8_t minor)
+{
+    minor;
+}
+
 void tty_setup(uint8_t minor)
 {
        if (minor == 2) {