History log of /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/qemu-arm-virt/serial.c
Revision Date Author Comments
# 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.