genode/repos/base-hw/include/spec
Stefan Kalkowski af29dcf557 hw: introduce virtualization support for ARMv8
Ref #3553
2019-11-21 14:29:36 +01:00
..
arm hw: name vm_state header explicitely 2019-04-01 19:33:49 +02:00
arm_64 hw: introduce virtualization support for ARMv8 2019-11-21 14:29:36 +01:00
riscv hw: increase timing accuracy of kernel (fix #3081) 2019-03-18 15:56:23 +01:00
x86_64 hw: increase timing accuracy of kernel (fix #3081) 2019-03-18 15:56:23 +01:00