History log of /seL4-test-master/tools/seL4/cmake-tool/helpers/configure_file.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.


# 21ef3825 10-Sep-2018 Adam Felizzi <Adam.Felizzi@data61.csiro.au>

CMake: Updated generation of the simulation script

Refactored the generation of the simulation script. This change
introduces an implementation of the simulation script in python.
The python script is templated with CMake variables
(through configure_file). Bringing the script to python makes
running simulate more configurable by the caller
e.g overwrite or append specific flags.