History log of /seL4-refos-master/libs/libplatsupport/src/plat/tk1/clock.c
Revision Date Author Comments
# 08be7e6c 06-Nov-2017 Kofi Doku Atuah <kofidoku.atuah@data61.csiro.au>

platsupport: TK1 clock: Initial clock driver that does nothing


# 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


# 0b442fa6 29-Jan-2017 Kent McLeod <Kent.Mcleod@data61.csiro.au>

libplatsupport: Add tk1 clkar register layout

tk1 has a single clock and reset controller that controls all clocks and
reset lines for the SOC. This commit adds support mainly for taking a
fault on an address in the device frame and then looking up relevant
register info.


# 755a5c6f 31-May-2016 Yanyan Shen <yanyan.shen@nicta.com.au>

libplatsupport/tk1: add dummy functions