History log of /seL4-refos-master/libs/libplatsupport/src/plat/bcm2837/clock.c
Revision Date Author Comments
# 398af6af 13-Jul-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Fix whitespace

- remove trailing whitespace
- remove duplicate blank lines
- remove blank lines at end of file
# 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