diff --git a/repos/base-nova/src/core/core_log_out.cc b/repos/base-nova/src/core/core_log_out.cc
index 8894a24cd0..3e757b04e0 100644
--- a/repos/base-nova/src/core/core_log_out.cc
+++ b/repos/base-nova/src/core/core_log_out.cc
@@ -34,10 +34,10 @@ void Genode::Core_log::out(char const c)
 
 void Genode::Core_log::acquire()
 {
-	Nova::acquire_console();
+	//Nova::acquire_console();
 }
 
 void Genode::Core_log::release()
 {
-	Nova::release_console();
+	//Nova::release_console();
 }