diff --git a/base-nova/lib/mk/printf_stdio.mk b/base-nova/lib/mk/printf_stdio.mk
deleted file mode 100644
index 8f910d8e9..000000000
--- a/base-nova/lib/mk/printf_stdio.mk
+++ /dev/null
@@ -1,3 +0,0 @@
-SRC_CC = printf_stdio.cc
-
-vpath printf_stdio.cc $(REP_DIR)/src/lib/printf_stdio
diff --git a/base-nova/src/lib/printf_stdio/printf_stdio.cc b/base-nova/src/lib/printf_stdio/printf_stdio.cc
deleted file mode 100644
index 8e8af8ff5..000000000
--- a/base-nova/src/lib/printf_stdio/printf_stdio.cc
+++ /dev/null
@@ -1,35 +0,0 @@
-/*
- * \brief  Genode::printf back-end for stdio
- * \author Norman Feske
- * \date   2009-10-06
- *
- * This library can be used by unit test executed on the host platform to
- * direct output from the Genode framework to stdout.
- */
-
-/*
- * Copyright (C) 2009-2012 Genode Labs GmbH
- *
- * This file is part of the Genode OS framework, which is distributed
- * under the terms of the GNU General Public License version 2.
- */
-
-#include <stdio.h>
-#include <base/printf.h>
-
-
-void Genode::printf(const char *format, ...)
-{
-	va_list list;
-	va_start(list, format);
-
-	::vprintf(format, list);
-
-	va_end(list);
-}
-
-
-void Genode::vprintf(const char *format, va_list list)
-{
-	::vprintf(format, list);
-}