From 0b5b89a46948711e066bb37eb10f8030f7d62831 Mon Sep 17 00:00:00 2001
From: Michael Mueller <michael.mueller@uos.de>
Date: Tue, 10 Oct 2023 16:35:02 +0200
Subject: [PATCH] Made Suoritin tasking service more verbatim for debugging.

---
 repos/os/include/suoritin/connection.h | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/repos/os/include/suoritin/connection.h b/repos/os/include/suoritin/connection.h
index 48eefff1d6..ee99ee90a0 100644
--- a/repos/os/include/suoritin/connection.h
+++ b/repos/os/include/suoritin/connection.h
@@ -26,11 +26,13 @@ struct Tukija::Suoritin::Connection : Genode::Connection<Tukija::Suoritin::Sessi
 {
     enum
     {
-        RAM_QUOTA = 32768UL
+        RAM_QUOTA = 32UL /* in kilobytes */
     };
 
     Connection(Genode::Env &env, const char *label="", Genode::Affinity const &affinity = Genode::Affinity())
-    : Genode::Connection<Tukija::Suoritin::Session>(env, session(env.parent(), affinity, "ram_quota=%u, cap_quota=%u, label=\"%s\"", RAM_QUOTA, CAP_QUOTA, label)), Tukija::Suoritin::Client(cap()) {}
+    : Genode::Connection<Tukija::Suoritin::Session>(env, session(env.parent(), affinity, "ram_quota=%uK, cap_quota=%u, label=\"%s\"", RAM_QUOTA, CAP_QUOTA, label)), Tukija::Suoritin::Client(cap()) {
+        Genode::log("Connecting to TASKING service ...");
+    }
 
     void create_channel() override {
         Tukija::Suoritin::Client::create_channel();