History log of /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/rockpro64/chardev.c
Revision Date Author Comments
# 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