Cross Reference: system_timer.h
xref
: /
seL4-refos-master
/
projects
/
util_libs
/
libplatsupport
/
plat_include
/
bcm2837
/
platsupport
/
plat
/
system_timer.h
Home
History
Annotate
Raw
Download
only in
/seL4-refos-master/projects/util_libs/libplatsupport/plat_include/bcm2837/platsupport/plat/
History log of
/seL4-refos-master/projects/util_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.