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]);