History log of /seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/tx2/platsupport/plat/timer.h
Revision Date Author Comments
# 94a1371a 19-Sep-2019 Damon Lee <Damon.Lee@data61.csiro.au>

trivial: Style changed files


# 5698606e 15-Sep-2019 Damon Lee <Damon.Lee@data61.csiro.au>

nvidia,tx2: Remove hard-coded addr and IRQ numbers

These can be retrieved from the DTB and are no longer necessary.


# 4fbe8b67 15-Sep-2019 Damon Lee <Damon.Lee@data61.csiro.au>

nvidia: Move timer HW management to driver level

Instead of allocating and managing all resources in the ltimer level,
this commit refactors the related code and moves them into the driver
level. This moves the responsibilities down into a more suitable
abstraction level.


# eaa4dd60 15-Sep-2019 Damon Lee <Damon.Lee@data61.csiro.au>

trivial: remove whitespace


# 2c4524ce 16-Oct-2018 Peter Chubb <Peter.Chubb@data61.csiro.au>

platsupport: Add initial TX2 support

The TX2 uses mostly the same default serial and timer devices. The
differences are:
- Extra interrupt routing for timers
- Different MMIO and interrupt mappings compared to TX1 and TK1