From 1130232b5856cf14e433090a9aa4058a30ef263b Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Sat, 4 Mar 2017 09:42:11 +0100
Subject: [PATCH] only by using the VGA interface, the header will be included

---
 libkern/stdio.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/libkern/stdio.c b/libkern/stdio.c
index 8c4eee2a4..eca0f25b3 100644
--- a/libkern/stdio.c
+++ b/libkern/stdio.c
@@ -32,7 +32,9 @@
 #include <hermit/spinlock.h>
 #include <asm/atomic.h>
 #include <asm/processor.h>
+#ifdef CONFIG_VGA
 #include <asm/vga.h>
+#endif
 #include <asm/uart.h>
 
 static atomic_int32_t kmsg_counter = ATOMIC_INIT(-1);