From aee7b9de5244d7098058f47c272a3aa1cc62b2a5 Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Mon, 29 Dec 2014 00:18:43 +0100
Subject: [PATCH] per default eduOS doesn't support UART

---
 include/eduos/config.h.example | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/include/eduos/config.h.example b/include/eduos/config.h.example
index b8a375f..45cd18e 100644
--- a/include/eduos/config.h.example
+++ b/include/eduos/config.h.example
@@ -48,7 +48,7 @@ extern "C" {
 
 #define CONFIG_VGA
 #define CONFIG_PCI
-#define CONFIG_UART
+//#define CONFIG_UART
 
 #define BUILTIN_EXPECT(exp, b) 	__builtin_expect((exp), (b))
 //#define BUILTIN_EXPECT(exp, b)	(exp)