| #
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.
|
| #
a7130f9f |
|
04-Jun-2017 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
fix licenses
|
| #
8d23abbb |
|
01-Dec-2016 |
Kofi Doku Atuah <kofidoku.atuah@data61.csiro.au> |
platsupport, RPi3: Define default serial IRQ
|
| #
f798673c |
|
09-Sep-2016 |
Kent McLeod <kent.mcleod@nicta.com.au> |
platsupport: Add serial for RPi3
This is the same uart that the kernel uses
Supports putchar and getchar, doesn't support interrupts
|
| #
0e464876 |
|
28-May-2016 |
Alexander Kroh <alex.kroh@nicta.com.au> |
libplatsupport: initial stubs for raspberry PI 3
|