History log of /seL4-refos-master/libs/libplatsupport/plat_include/rockpro64/platsupport/plat/serial.h
Revision Date Author Comments
# 1fed64d1 28-Oct-2019 Kent McLeod <Kent.Mcleod@data61.csiro.au>

libplatsupport: Update rockpro64 default serial

The default serial for this platform is serial2.
Also fix some register misconfiguraitons.
# de5c6cd0 15-Jul-2019 Oliver Scott <Oliver.Scott@data61.csiro.au>

Added rockpro64 Platform support

This adds enough to use timer and serial for sel4test