From df060c1ad6f18b1c4388c9ca204a596ace179c16 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Marcel=20L=C3=BCtke=20Dreimann?=
 <marcel.luetkedreimann@uos.de>
Date: Tue, 1 Jul 2025 08:50:08 +0200
Subject: [PATCH] verbose: print kname

---
 repos/dde_uos-intel-gpgpu/src/virt/rpc.cc | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/repos/dde_uos-intel-gpgpu/src/virt/rpc.cc b/repos/dde_uos-intel-gpgpu/src/virt/rpc.cc
index 1bac09584d..708f0df9cd 100644
--- a/repos/dde_uos-intel-gpgpu/src/virt/rpc.cc
+++ b/repos/dde_uos-intel-gpgpu/src/virt/rpc.cc
@@ -53,6 +53,8 @@ void Session_component::start_task(unsigned long kconf)
 #ifdef VERBOSE
 	static int id = 0;
 	Genode::log("Kernel ", id);
+	Genode::String<32> kname((char const *)kc->kernelName);
+	Genode::log("\t\tname: ", kname);
 	for(int i = 0; i < 3; i++)
 	{
 		Genode::log("\t\trange: ", (int)kc->range[i]);