History log of /seL4-l4v-10.1.1/seL4/src/plat/tx1/machine/hardware.c
Revision Date Author Comments
# cddc4e6e 15-Nov-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Inline resetTimer for all platforms

- for arm generic timer platforms, we remove resetTimer ->
resetGenericTimer indirection and simply include generic_timer.h
- this reduces boiler plate for platforms that share timer drivers, as
they simply include the one header
- there is far more timer code in the RT kernel, which motivates this
change


# de45ae14 14-Nov-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Move arm generic timer to own header

Only platforms that use it should include the code


# 49a26db1 19-Nov-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Combine common arm generic timer code

Previously both aarch32 and aarch64 duplicated common
generic timer code. Unify them in include/arch/arm/machine/timer.h


# 57fa0e0f 07-Aug-2017 Hesham Almatary <hesham.almatary@data61.csiro.au>

Share linker.h between architectures


# 40c61e5c 18-Jun-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Fix licenses (the rest)


# eccaae51 20-Feb-2017 Adrian Danis <Adrian.Danis@data61.csiro.au>

s/D61/DATA61/ in license headers for consistency


# 2e250fcc 14-Feb-2017 amrzar <azarrabi@nicta.com.au>

plat: add tx1 support