mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-22 04:52:56 +01:00
8540b4c9d1
Rename Vm_data to Vcpu_data to make it clear that the allocated data is per vCPU, not per VM. Issue #5100