History log of /seL4-l4v-10.1.1/seL4/src/plat/tx1/config.cmake
Revision Date Author Comments
# 5ec0a36f 15-Nov-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Move arm generic timer initTimer to c file

This prepares to inline the resetTimer definition from generic_timer.h
without creating a mess of circular includes


# 0b730720 16-Mar-2017 Adrian Danis <Adrian.Danis@data61.csiro.au>

Add a CMake based build system

This commit adds an alternate build system using CMake that operates indepenently of
the existing Kconfig+Kbuild+make based build system