p112: Move device_init() to DISCARD segment

diff --git a/Kernel/platform-p112/devices.c b/Kernel/platform-p112/devices.c
index 41d75ae..d84acb3 100644 (file)
--- a/Kernel/platform-p112/devices.c
+++ b/Kernel/platform-p112/devices.c
@@ -34,10 +34,3 @@ bool validdev(uint16_t dev)
     else
         return true;
 }
-
-void device_init(void)
-{
-    devide_init();
-    ds1302_init();
-    tty_hw_init();
-}

diff --git a/Kernel/platform-p112/discard.c b/Kernel/platform-p112/discard.c
index 865e72b..cead8a4 100644 (file)
--- a/Kernel/platform-p112/discard.c
+++ b/Kernel/platform-p112/discard.c
@@ -46,3 +46,9 @@ void tty_hw_init(void)
     TTY_COM1_IER = 0x01; /* enable only receive interrupts */
 }
 
+void device_init(void)
+{
+    devide_init();
+    ds1302_init();
+    tty_hw_init();
+}