rc2014-tiny: remove stale debug

diff --git a/Kernel/platform-rc2014-tiny/devtty.c b/Kernel/platform-rc2014-tiny/devtty.c
index 4b3d955..200652b 100644 (file)
--- a/Kernel/platform-rc2014-tiny/devtty.c
+++ b/Kernel/platform-rc2014-tiny/devtty.c
@@ -72,8 +72,6 @@ void tty_pollirq_acia(void)
        }
 }
 
-static char hex[] = { "0123456789ABCDEF" };
-
 void tty_putc(uint8_t minor, unsigned char c)
 {
        if (ser_type == 1) {