ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-05-03 17:23:05 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
genode/repos/base/include/spec/x86/cpu
History
Benjamin Lamowski b277b84e19 base: extend Vcpu_state for base-hw x86 virtualization 
Changes are preliminary and will most certainly be removed when fully
enabling the virtualization feature on base-hw.

Ref #4826
2023-05-30 12:13:34 +02:00
..
atomic.h
Adjust file headers to refer to the AGPLv3
2017-02-28 12:59:29 +01:00
consts.h
Adjust file headers to refer to the AGPLv3
2017-02-28 12:59:29 +01:00
memory_barrier.h
Adjust file headers to refer to the AGPLv3
2017-02-28 12:59:29 +01:00
vcpu_state.h
base: extend Vcpu_state for base-hw x86 virtualization
2023-05-30 12:13:34 +02:00