Imagelibrary/seL4
1
0
Fork 1
mirror of https://github.com/seL4/seL4.git synced 2026-04-09 08:49:54 +00:00
Code Issues Packages Projects Releases Wiki Activity

CMake: Invoke configuration files to build kernel

Browse Source 
This leverages #!/usr/bin/env -S cmake -P to invoke a cmake
configuration file as a script that configures and builds a kernel in
the current directory with the configuration that was invoked. It is a
quick way for producing a kernel.elf or kernel_all_pp.c input file to
verification for a particular config.
This commit is contained in:
Kent McLeod
2019-09-05 11:45:04 +10:00
parent d258af82ab
commit 297d2b63da
6 changed files with 63 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
configs/ARM_verified.cmake Normal file → Executable file
View File

@@ -1,3 +1,4 @@
#!/usr/bin/env -S cmake -P
#
# Copyright 2017, Data61
# Commonwealth Scientific and Industrial Research Organisation (CSIRO)
@@ -10,6 +11,10 @@
# @TAG(DATA61_GPL)
#
# If this file is executed then build the kernel.elf and kernel_all_pp.c file
include(${CMAKE_CURRENT_LIST_DIR}/../tools/helpers.cmake)
cmake_script_build_kernel()
set(KernelPlatform "imx6" CACHE STRING "")
set(KernelVerificationBuild ON CACHE BOOL "")
set(KernelIPCBufferLocation "threadID_register" CACHE STRING "")