History log of /seL4-refos-master/libs/libplatsupport/plat_include/bcm2837/platsupport/plat/spt.h
Revision Date Author Comments
# 75f33f18 23-Jul-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

trivial: fix typo
# a3ea247a 23-Jul-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Refactor rpi3 spt driver and implement ltimer

- remove pstimer support from spt, rearrange
- implement ltimer with spt