History log of /seL4-refos-master/projects/util_libs/libplatsupport/plat_include/exynos4/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.


# 5761b927 28-Sep-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

pragma once and for all


# a7130f9f 04-Jun-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

fix licenses


# 03ede780 23-Aug-2016 Kent McLeod <kent.mcleod@nicta.com.au>

Remove trailing whitespace