From 62f033ddaf170c880ecbe607e1fdd5d7430c91d6 Mon Sep 17 00:00:00 2001
From: Michael Mueller <michael.mueller@uos.de>
Date: Sun, 15 Sep 2024 19:45:19 +0200
Subject: [PATCH] Removed console log due to occassional livelocks.

---
 repos/base-nova/src/core/core_log_out.cc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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();
 }