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