ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-24 21:36:56 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
fa6e819f9a
genode/repos/base-hw/include/spec/x86_64
History
Benjamin Lamowski fa6e819f9a base-hw: x86: use Vcpu_state as Vm_state 
Ref #4826
2023-05-30 12:13:33 +02:00
..
cpu base-hw: x86: use Vcpu_state as Vm_state 2023-05-30 12:13:33 +02:00