coco3: add video_init() to .discard

diff --git a/Kernel/platform-coco3/video.c b/Kernel/platform-coco3/video.c
index 58c49fc..b0a1d96 100644 (file)
--- a/Kernel/platform-coco3/video.c
+++ b/Kernel/platform-coco3/video.c
@@ -117,7 +117,7 @@ static void video_get( char *usrptr ){
        map_for_kernel();
 }
 
-
+__attribute__((section(".discard")))
 void video_init( )
 {
        map_for_video();