mirror of
https://github.com/genodelabs/genode.git
synced 2025-03-14 16:26:30 +00:00
Move the static `Vmid_allocator` in each `Vm_session_component` into a common header file. Issue #5221
Move the static `Vmid_allocator` in each `Vm_session_component` into a common header file. Issue #5221