genode/repos/base-hw/include/spec
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 
2023-05-30 12:13:34 +02:00
..
arm/cpu base-hw: pass generic Vm_data structure to the kernel object 2023-05-30 12:13:34 +02:00
arm_64/cpu base-hw: pass generic Vm_data structure to the kernel object 2023-05-30 12:13:34 +02:00
x86_64/cpu base-hw: pass generic Vm_data structure to the kernel object 2023-05-30 12:13:34 +02:00