History log of /seL4-refos-master/libs/libplatsupport/src/plat/fvp/sp804.c
Revision Date Author Comments
# ef1dfb7d 20-May-2020 Michael Yoo <michael.yoo@data61.csiro.au>

libplatsupport: refactor more timers

- The following platforms are changed: am335x,
fvp, hikey, rockpro64
- All platforms pass build
- Except for fvp which doesn't have a machine handy,
the other 3 platforms pass sel4test
- For each platform, the ltimer.c and device-specific
code is more intertwined than I would have liked,
including things like device code branching on
`LTIMER` constants, but I think cleaning the
interface is a project for later


# aecc3304 17-Feb-2019 Yanyan Shen <yanyan.shen@data61.csiro.au>

libplatsupport: Add FVP.