From e42d98b46e417686f3728713d3f47800aa77f73c Mon Sep 17 00:00:00 2001
From: Brett Gordon <beretta42@gmail.com>
Date: Sun, 6 Mar 2016 13:53:41 -0500
Subject: [PATCH] coco3: move devtty_init() to .discard section, clean up
 whitespace.

---
 Kernel/platform-coco3/devtty.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Kernel/platform-coco3/devtty.c b/Kernel/platform-coco3/devtty.c
index 84d5553a..bfeb5491 100644
--- a/Kernel/platform-coco3/devtty.c
+++ b/Kernel/platform-coco3/devtty.c
@@ -510,9 +510,10 @@ inval:	udata.u_error = EINVAL;
 
 uint8_t rgb_def_pal[16]={
 	0, 8, 32, 40, 16, 24, 48, 63,
-	0, 8, 32, 40, 16, 24, 48, 63	
+	0, 8, 32, 40, 16, 24, 48, 63
 };
 
+__attribute__((section(".discard")))
 void devtty_init()
 {
 	int i;
-- 
2.34.1