History log of /seL4-test-master/projects/util_libs/libplatsupport/src/plat/ariane/serial.c
Revision Date Author Comments
# e935f281 04-Nov-2019 Siwei Zhuang <siwei.zhuang@data61.csiro.au>

libplatsupport: Add support for Ariane

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