From 66f3668c45c96130a6a7fe3a8e033efcce73979e Mon Sep 17 00:00:00 2001
From: Brett Gordon <beretta42@gmail.com>
Date: Wed, 3 Oct 2018 09:43:13 -0400
Subject: [PATCH] coco3: implement platform_copyright()

---
 Kernel/platform-coco3/config.h | 1 -
 Kernel/platform-coco3/main.c   | 5 +++++
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/Kernel/platform-coco3/config.h b/Kernel/platform-coco3/config.h
index 5bcde481..aa0c5437 100644
--- 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 61e71c27..e1f838ca 100644
--- 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)
 {
-- 
2.34.1