History log of /seL4-refos-master/projects/util_libs/libplatsupport/plat_include/odroidc2/platsupport/plat/serial.h
Revision Date Author Comments
# b8ded2b7 13-Feb-2019 James Ye <james.ye@data61.csiro.au>

libplatsupport: Add Odroid-C2 support

Add timer and serial drivers for the Odroid-C2.

Co-Authored-By: Anna Lyons <Anna.Lyons@data61.csiro.au>