History log of /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/bcm2837/serial.c
Revision Date Author Comments
# a7130f9f 04-Jun-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

fix licenses
# 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