History log of /seL4-test-master/projects/util_libs/libplatsupport/plat_include/qemu-arm-virt/platsupport/plat/serial.h
Revision Date Author Comments
# 25f6b686 25-Feb-2020 Alison Felizzi <Alison.Felizzi@data61.csiro.au>

libplatsupport: Redefine qemu-arm-virt UART0_IRQ

Updated the qemu-arm-virt 'UART0_IRQ' value. The value doesn't
take into account the SPI offset, thus its actually '33' instead
of '1'.
# 199986a8 03-Oct-2019 Sylvain Gauthier <sylvain.gauthier@data61.csiro.au>

Added the new `virt` platform

QEMU ARM `virt` platform (virtual platform). This commit adds the
necessary serial/timer drivers.