History log of /seL4-refos-master/projects/util_libs/libplatsupport/plat_include/tx2/platsupport/plat/clock.h
Revision Date Author Comments
# 6d935658 10-Dec-2019 Damon Lee <Damon.Lee@data61.csiro.au>

tx2: Remove clock driver

Since the tx2 clock driver is heavily reliant on the libtx2bpmp library
in project_libs, we remove the tx2 clock driver from this repository and
place it into libplatsupportports in the project_libs library.


# d7f6ce0c 05-Nov-2019 Damon Lee <Damon.Lee@data61.csiro.au>

tx2: Add tx2 clock driver

This clock driver is essentially an shim between the clock_sys_t
interface and the BPMP clock ABI.


# 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