History log of /seL4-refos-master/libs/libplatsupport/plat_include/bcm2837/platsupport/plat/system_timer.h
Revision Date Author Comments
# 8d891814 02-Jan-2019 Curtis Millar <curtis.millar@data61.csiro.au>

Add reset for BCM2387 system timer.
# 3b1bfa5c 02-Jan-2019 Curtis Millar <curtis.millar@data61.csiro.au>

Add licenses.
# 9bd8cadd 02-Jan-2019 Curtis Millar <curtis.millar@data61.csiro.au>

Add BCM2837 system timer driver.