History log of /seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/rocketchip/platsupport/plat/serial.h
Revision Date Author Comments
# 4294ef3e 25-Nov-2019 Siwei Zhuang <siwei.zhuang@data61.csiro.au>

libplatsupport: Add support for Rocketchip

Added placeholders in libplatsupport for Rocketchip to pass the
compilation. The actual driver is yet to be implemented.