History log of /seL4-l4v-10.1.1/seL4/src/plat/tk1/config.cmake
Revision Date Author Comments
# 8fdcc1d9 29-Jan-2018 Kent McLeod <Kent.Mcleod@data61.csiro.au>

tk1: Rename platform names from jetson to tk1

Jetson is ambiguous as TX1 is also a jetson board. This name is left
over from when we only supported jetson tk1.


# 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