mirror of
https://github.com/genodelabs/genode.git
synced 2025-05-24 19:24:25 +00:00
With the patch a VMM is not forced anymore to co-located the VMM and VM in same PD. Fixes #949
With the patch a VMM is not forced anymore to co-located the VMM and VM in same PD. Fixes #949