From 66dd065163daa75562b1a8857d396a95a5095b80 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Sun, 17 May 2015 22:42:13 +0200
Subject: [PATCH] sel4: use LOG console for non-core components

---
 repos/base-sel4/lib/mk/base.mk | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/repos/base-sel4/lib/mk/base.mk b/repos/base-sel4/lib/mk/base.mk
index 946191d4c..7bfa6813f 100644
--- a/repos/base-sel4/lib/mk/base.mk
+++ b/repos/base-sel4/lib/mk/base.mk
@@ -6,9 +6,7 @@
 
 LIBS += base-common syscall
 
-LIBS += core_printf
-
-#SRC_CC += console/log_console.cc
+SRC_CC += console/log_console.cc
 SRC_CC += env/env.cc env/context_area.cc env/reinitialize.cc
 SRC_CC += env/capability_space.cc
 SRC_CC += thread/thread_start.cc thread/thread_init.cc