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)
 {