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