rc2014tiny: remove devinput.h we don't use it

diff --git a/Kernel/platform-rc2014-tiny/main.c b/Kernel/platform-rc2014-tiny/main.c
index 1a01036..143c20e 100644 (file)
--- a/Kernel/platform-rc2014-tiny/main.c
+++ b/Kernel/platform-rc2014-tiny/main.c
@@ -4,7 +4,6 @@
 #include <timer.h>
 #include <devtty.h>
 #include <devfd.h>
-#include <devinput.h>
 #include <rtc.h>
 #include <ds1302.h>