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

Refactor mct.c into mct.h and hardware.c

This prepares for inlinining the generic timer in header files, which will reduce the
redundancy for all platforms that use it.

Since mct.c shared code with the generic timer, both could not define a
resetTimer function. This commit splits the logic and definitions used
by exynos4 and exynos4* into common definitions in mct.h, with the
unique code for both in hardware.c


# 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