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

verbose log before kernel start

Browse Source
This commit is contained in:
Marcel Lütke Dreimann
2025-06-30 11:12:45 +02:00
parent bbc3954d7f
commit d76d57fee7
1 changed files with 14 additions and 14 deletions
Download Patch File Download Diff File Expand all files Collapse all files

28
repos/dde_uos-intel-gpgpu/src/virt/rpc.cc
View File

@@ -50,20 +50,6 @@ void Session_component::start_task(unsigned long kconf)
kc->kernelName = (char*)((Genode::addr_t)kc->kernelName + mapped_base); kc->kernelName = (char*)((Genode::addr_t)kc->kernelName + mapped_base);
kc->binary = (Genode::uint8_t*)((Genode::addr_t)kc->binary + mapped_base); kc->binary = (Genode::uint8_t*)((Genode::addr_t)kc->binary + mapped_base);
// add kernel
Kernel* kernel = new(_global_gpgpu_genode->getAlloc()) Kernel(kc);
const bool needsUpdate = vgpu.has_kernel() == false;
vgpu.add_kernel(kernel);
// trigger vgpu update
if(needsUpdate)
{
_global_sched->update_vgpu(&vgpu);
}
// trigger sched
_global_sched->trigger();
#ifdef VERBOSE #ifdef VERBOSE
static int id = 0; static int id = 0;
Genode::log("Kernel ", id); Genode::log("Kernel ", id);
@@ -93,6 +79,20 @@ void Session_component::start_task(unsigned long kconf)
} }
id++; id++;
#endif // VERBOSE #endif // VERBOSE
// add kernel
Kernel* kernel = new(_global_gpgpu_genode->getAlloc()) Kernel(kc);
const bool needsUpdate = vgpu.has_kernel() == false;
vgpu.add_kernel(kernel);
// trigger vgpu update
if(needsUpdate)
{
_global_sched->update_vgpu(&vgpu);
}
// trigger sched
_global_sched->trigger();
} }
Session_component::~Session_component() Session_component::~Session_component()