History log of /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/spike/serial.c
Revision Date Author Comments
# 28e216a3 02-Apr-2018 Anna Lyons <Anna.Lyons@data61.csiro.au>

riscv: update incorrect license tags

- D61_BSD -> DATA61_BSD
- NICTA_BSD -> DATA61_BSD
# 35dfeef0 16-Apr-2017 Hesham Almatary <hesham.almatary@data61.csiro.au>

RISCV: port