verbose: print kname

This commit is contained in:
Marcel Lütke Dreimann
2025-07-01 08:50:08 +02:00
parent 60cbb60606
commit df060c1ad6

View File

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