From d6e3e4734833317e243d9508239d7d5ccf736087 Mon Sep 17 00:00:00 2001 From: Norman Feske Date: Wed, 13 May 2015 11:04:58 +0200 Subject: [PATCH] sel4: use core_printf for non-core components This allows us to see debug messages printed at the eary initialization of init (before init is able to obtain the regular LOG session). This will be reverted as soon as the initialziation of the non-core base environment works. --- repos/base-sel4/lib/mk/base.mk | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/repos/base-sel4/lib/mk/base.mk b/repos/base-sel4/lib/mk/base.mk index 7bfa6813fc..946191d4c7 100644 --- a/repos/base-sel4/lib/mk/base.mk +++ b/repos/base-sel4/lib/mk/base.mk @@ -6,7 +6,9 @@ LIBS += base-common syscall -SRC_CC += console/log_console.cc +LIBS += core_printf + +#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