coco3: implement platform_copyright()

diff --git a/Kernel/platform-coco3/config.h b/Kernel/platform-coco3/config.h
index 5bcde48..aa0c543 100644 (file)
--- a/Kernel/platform-coco3/config.h
+++ b/Kernel/platform-coco3/config.h
@@ -110,4 +110,3 @@ typedef unsigned char *queueptr_t;
 #define SD_DRIVE_COUNT 1
 #define CONFIG_SD
 
-#define platform_copyright()

diff --git a/Kernel/platform-coco3/main.c b/Kernel/platform-coco3/main.c
index 61e71c2..e1f838c 100644 (file)
--- a/Kernel/platform-coco3/main.c
+++ b/Kernel/platform-coco3/main.c
@@ -10,6 +10,11 @@
 unsigned int swapdev = 0;
 struct blkbuf *bufpool_end = bufpool + NBUFS;
 
+DISC
+void platform_copyright(void)
+{
+       kprintf("COCO3 platform Copyright (c) 2015-2018 Brett M. Gordon\n");
+}
 
 void platform_discard(void)
 {