Cross Reference: system_timer.c
xref
: /
seL4-test-master
/
projects
/
util_libs
/
libplatsupport
/
src
/
plat
/
bcm2837
/
system_timer.c
Home
History
Annotate
Raw
Download
only in
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/bcm2837/
History log of
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/bcm2837/system_timer.c
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.