kernel: add platform_copyright()

This gives somewhere for platform authors to add a copyright note when they've
done masses of platform work but not touched the core much.

Or for that matter print some other platform important early info...

diff --git a/Kernel/include/kernel.h b/Kernel/include/kernel.h
index 36aa5e8..0897b96 100644 (file)
--- a/Kernel/include/kernel.h
+++ b/Kernel/include/kernel.h
@@ -1036,6 +1036,9 @@ extern void map_init(void);
 #ifndef platform_discard
 extern void platform_discard(void);
 #endif
+#ifndef platform_copyright
+extern void platform_copyright(void);
+#endif
 extern void platform_idle(void);
 extern uint8_t platform_rtc_secs(void);
 extern int platform_rtc_read(void);

diff --git a/Kernel/start.c b/Kernel/start.c
index 2f85018..1f4d8bc 100644 (file)
--- a/Kernel/start.c
+++ b/Kernel/start.c
@@ -336,7 +336,7 @@ void fuzix_main(void)
                        "Copyright (c) 2013-2015 Will Sowerbutts <will@sowerbutts.com>\n"
                        "Copyright (c) 2014-2018 Alan Cox <alan@etchedpixels.co.uk>\nDevboot\n",
                        sysinfo.uname);
-
+       platform_copyright();
 #ifndef SWAPDEV
 #ifdef PROC_SIZE
        maxproc = procmem / PROC_SIZE;