History log of /seL4-test-master/tools/seL4/cmake-tool/helpers/dts.cmake
Revision Date Author Comments
# 9f904ed2 06-Mar-2020 Gerwin Klein <gerwin.klein@data61.csiro.au>

convert license headers to SPDX

Includes license review of 3rd-party files, adding missing upstream
headers, and moving the UNSW OZPLB license into its own file rather
than replicating it in the header.


# 40d42cb5 30-Apr-2019 Kent McLeod <Kent.Mcleod@data61.csiro.au>

CMake: Refactor helpers to be included on demand

As more helper files get added it becomes more expensive to include them
all in common.cmake. We instead add them to the CMAKE_MODULE_PATH and
allow them to be imported as CMake modules. Adding global include guards
allows them to be imported multiple times without processing every time.


# a8950605 20-Mar-2019 Anna Lyons <Anna.Lyons@data61.csiro.au>

style: style cmake files consistently


# c821d6f7 10-Jan-2019 Simon Shields <simon.shields@data61.csiro.au>

move DTS to the kernel


# 39c50e1c 06-Dec-2018 Kent McLeod <Kent.Mcleod@data61.csiro.au>

dts: Suppress output unless error

Some dts compilations generate a lot of output everytime CMake is run.


# 86aa8f4b 01-Aug-2018 Anna Lyons <Anna.Lyons@data61.csiro.au>

cmake: add helper to generate DTB from DTS


# c6a808f1 01-Aug-2018 Anna Lyons <Anna.Lyons@data61.csiro.au>

cmake: add FindDTS to locate dts files