From bad47f894d30f53b21615bca40d2fb644eb2defd Mon Sep 17 00:00:00 2001
From: Will Sowerbutts <will@sowerbutts.com>
Date: Fri, 24 Apr 2015 19:59:22 +0100
Subject: [PATCH] p112: Move device_init() to DISCARD segment

---
 Kernel/platform-p112/devices.c | 7 -------
 Kernel/platform-p112/discard.c | 6 ++++++
 2 files changed, 6 insertions(+), 7 deletions(-)

diff --git a/Kernel/platform-p112/devices.c b/Kernel/platform-p112/devices.c
index 41d75aec..d84acb38 100644
--- 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 865e72bf..cead8a4d 100644
--- 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();
+}
-- 
2.34.1