From 71d2152df8feda4d1205272969873da6b8981ecd Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Wed, 8 Jul 2015 20:10:22 +0200
Subject: [PATCH] add workaround because static fields aren't able to be in
 section .kmsg

=> compiler bug in gcc 5.1?
---
 hermit/libkern/stdio.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/hermit/libkern/stdio.c b/hermit/libkern/stdio.c
index e673458ac..c09b3f74f 100644
--- a/hermit/libkern/stdio.c
+++ b/hermit/libkern/stdio.c
@@ -47,7 +47,7 @@ static uint32_t early_print = NO_EARLY_PRINT;
 #endif
 static spinlock_irqsave_t olock = SPINLOCK_IRQSAVE_INIT;
 static atomic_int32_t kmsg_counter = ATOMIC_INIT(-1);
-static unsigned char kmessages[KMSG_SIZE] __attribute__ ((section(".kmsg"))) = {[0 ... KMSG_SIZE-1] = 0x00};
+/* static */ unsigned char kmessages[KMSG_SIZE] __attribute__ ((section(".kmsg"))) = {[0 ... KMSG_SIZE-1] = 0x00};
 
 int koutput_init(void)
 {