History log of /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/hifive/chardev.c
Revision Date Author Comments
# aafc51ff 08-Jul-2019 Kent McLeod <Kent.Mcleod@data61.csiro.au>

libplatsupport: Add hifive serial and pwm drivers

This implements the required drivers to pass sel4test