coco3: move devtty_init() to .discard section, clean up whitespace.

diff --git a/Kernel/platform-coco3/devtty.c b/Kernel/platform-coco3/devtty.c
index 84d5553..bfeb549 100644 (file)
--- 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;