ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-05-09 20:12:57 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
genode/repos/base-hw/include/spec/arm/cpu
History
Benjamin Lamowski 1e3836f8b5 base-hw: pass generic Vm_data structure to the kernel object 
This enables passing additional data structures to the kernel on x86.

Ref #4826
2023-05-30 12:13:34 +02:00
..
vm_state_trustzone.h
base-hw: pass generic Vm_data structure to the kernel object
2023-05-30 12:13:34 +02:00
vm_state_virtualization.h
base-hw: pass generic Vm_data structure to the kernel object
2023-05-30 12:13:34 +02:00