denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 12:32:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

Removed console log due to occassional livelocks.

Browse Source
This commit is contained in:
Michael Mueller
2024-09-15 19:45:19 +02:00
parent e69d5847f2
commit 62f033ddaf
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
repos/base-nova/src/core/core_log_out.cc
View File

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