#
0723c601 |
|
03-Jul-2020 |
Michael Yoo <Michael.Yoo@data61.csiro.au> |
libplatsupport: fix rockpro64,hikey ltimer Fixes an issue discovered by running sel4bench. First, correctly map secondary timer's IRQ Second, correctly free secondary timer's mapping
|
#
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
|