History log of /seL4-camkes-master/projects/projects_libs/libtx2bpmp/include/tx2bpmp/reset_bindings.h
Revision Date Author Comments
# 5fa79f91 10-Feb-2020 Damon Lee <Damon.Lee@data61.csiro.au>

tx2: Add tx2 reset controller driver

This commit adds a driver for the reset controller in the tx2. Similar
to the clock driver, this driver is mostly just a shim between the BPMP
library as most of the work is carried out by the BPMP co-processor.