History log of /seL4-l4v-10.1.1/seL4/src/plat/tx2/machine/hardware.c
Revision Date Author Comments
# 896e8644 15-Oct-2018 Peter Chubb <Peter.Chubb@data61.csiro.au>

TX2: Add initial TX2 support

See CHANGES and https://docs.sel4.systems/Hardware/ for more information