History log of /seL4-refos-master/projects/util_libs/libplatsupport/plat_include/tk1/platsupport/plat/clock_indexes.h
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


# 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.