diff --git a/repos/base-sel4/lib/mk/core_printf.mk b/repos/base-sel4/lib/mk/core_printf.mk
new file mode 100644
index 0000000000..ebeadf7b10
--- /dev/null
+++ b/repos/base-sel4/lib/mk/core_printf.mk
@@ -0,0 +1,5 @@
+SRC_CC   = core_printf.cc
+INC_DIR += $(REP_DIR)/src/base/console
+LIBS    += syscall
+
+vpath core_printf.cc $(BASE_DIR)/src/base/console
diff --git a/repos/base-sel4/src/base/console/core_console.h b/repos/base-sel4/src/base/console/core_console.h
index c3db89a2d6..3d9e2a45b8 100644
--- a/repos/base-sel4/src/base/console/core_console.h
+++ b/repos/base-sel4/src/base/console/core_console.h
@@ -18,16 +18,15 @@
 #include <sel4/arch/functions.h>
 #include <sel4/arch/syscalls.h>
 
-namespace Genode
+namespace Genode { class Core_console; }
+
+
+class Genode::Core_console : public Console
 {
-	class Core_console : public Console
-	{
-		protected:
-
-			void _out_char(char c)
-			{
-				seL4_DebugPutChar(c);
-			}
-	};
-}
+	protected:
 
+		void _out_char(char c)
+		{
+			seL4_DebugPutChar(c);
+		}
+};
diff --git a/repos/base-sel4/src/test/sel4/target.mk b/repos/base-sel4/src/test/sel4/target.mk
index 33940a3004..1ab703b221 100644
--- a/repos/base-sel4/src/test/sel4/target.mk
+++ b/repos/base-sel4/src/test/sel4/target.mk
@@ -1,10 +1,7 @@
 TARGET = test-sel4
 SRC_CC = main.cc context_area.cc mini_env.cc thread.cc
 
-LIBS   = base-common syscall
-
-SRC_CC += base/console/core_printf.cc
-INC_DIR += $(REP_DIR)/src/base/console
+LIBS   = base-common core_printf syscall
 
 vpath %.cc $(BASE_DIR)/src