genode/repos/base-hw/src/include/hw/spec/arm_64
Stefan Kalkowski 56ef7ca9e7 hw: enable ARMv8 performance counter
Fix #3618
2020-02-04 16:05:01 +01:00
..
cpu.h hw: enable ARMv8 performance counter 2020-02-04 16:05:01 +01:00
imx8q_evk_board.h hw: introduce virtualization support for ARMv8 2019-11-21 14:29:36 +01:00
memory_map.h hw: introduce virtualization support for ARMv8 2019-11-21 14:29:36 +01:00
rpi3_board.h hw: support for ARM64 Raspberry Pi 3 2019-07-09 08:55:22 +02:00