History log of /seL4-refos-master/libs/libplatsupport/plat_include/qemu-arm-virt/platsupport/plat/clock.h
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.