This patch adds timer peripherals to the arm-virt machine. The use case is, that this machine is quite useful for testing purposes when it comes to non-Linux operating system (seL4 in our case). However, is currently lacks a dedicates timer peripheral, so some scenarios cannot be tested easily with QEMU. The RTC cannot be used, because he resolution is too low. Since the sp804 supposed already exists in QEMU, adding these peripherals seems easy and it does not appear to break any existing use cases.
Axel Heider (1): hw/arm/virt: add 2x sp804 timer docs/system/arm/virt.rst | 1 + hw/arm/Kconfig | 1 + hw/arm/virt.c | 47 ++++++++++++++++++++++++++++++++++++++++ include/hw/arm/virt.h | 2 ++ 4 files changed, 51 insertions(+) -- 2.34.5
