History log of /seL4-refos-master/kernel/src/drivers/timer/exynos4210-mct.c
Revision Date Author Comments
# 79da0792 01-Mar-2020 Gerwin Klein <gerwin.klein@data61.csiro.au>

Convert license tags to SPDX identifiers

This commit also converts our own copyright headers to directly use
SPDX, but leaves all other copyright header intact, only adding the
SPDX ident. As far as possible this commit also merges multiple
Data61 copyright statements/headers into one for consistency.


# 391b717d 08-Apr-2019 Anna Lyons <Anna.Lyons@data61.csiro.au>

arm: generic_timer -> drivers/timer/arm_generic

- move generic_timer.h to drivers/timer/arm_generic.h
- update all configs that use it.


# e1a36c26 08-Apr-2019 Anna Lyons <Anna.Lyons@data61.csiro.au>

exynos: use declare_default_headers

- remove unused header files replaced by declare_default_headers
- move timer.h to drivers/timer/exynos5422-mct.h
- move mct.h to drivers/timer/mct.h


# 2fbdf188 06-Mar-2019 Oliver Scott <Oliver.Scott@data61.csiro.au>

timer-refactor: Move kernel timers and rename

This change moves all arm platform timers to drivers/timer
and renames them to the compatibility string specified in the dts.
Now the correct timer is included at build time based on the dts,
this follows the same pattern as the serial-refactor.
Have moved the arm generic_timer and priv_timer into the timer
folder and updated cmake configs appropriately.