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