History log of /seL4-refos-master/projects/util_libs/libplatsupport/plat_include/spike/platsupport/plat/serial.h
Revision Date Author Comments
# a3eb15e8 30-Oct-2018 Kent McLeod <Kent.Mcleod@data61.csiro.au>

platsupport: Move default serial definitions

These are moved from libsel4platsupport. They are used in addition to
PS_SERIAL_DEFAULT which is defined in this library, and they also use
interrupt and physical address definitions defined in this library.
Moving them here reduces a bit of indirection when choosing a default
serial device.


# 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