History log of /seL4-l4v-10.1.1/seL4/src/plat/apq8064/config.cmake
Revision Date Author Comments
# 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