History log of /seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/tx1/platsupport/plat/timer.h
Revision Date Author Comments
# e12c0245 31-Oct-2018 Kent McLeod <Kent.Mcleod@data61.csiro.au>

platsupport: Split nvidia definitions into plat

This is in preparation for the tx2 build which has the same devices but
with different interrupt and address mappings.
# 4b5875cd 20-Jul-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Remove pstimer from nvidia timers, refactor to suite ltimers
# a7130f9f 04-Jun-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

fix licenses
# 021ed1ce 15-Feb-2017 amrzar <azarrabi@nicta.com.au>

libplatsupport: add tx1 platform