1#
2# Copyright 2019, Data61
3# Commonwealth Scientific and Industrial Research Organisation (CSIRO)
4# ABN 41 687 119 230.
5#
6# This software may be distributed and modified according to the terms of
7# the BSD 2-Clause license. Note that NO WARRANTY is provided.
8# See "LICENSE_BSD2.txt" for details.
9#
10# @TAG(DATA61_BSD)
11#
12
13# Define our top level settings.  Whilst they have doc strings for readability
14# here, they are hidden in the cmake-gui as they cannot be reliably changed
15# after the initial configuration.  Enterprising users can still change them if
16# they know what they are doing through advanced mode.
17#
18# Users should initialize a build directory by doing something like:
19#
20# mkdir build_sabre
21# cd build_sabre
22#
23# Then
24#
25# ../griddle --PLATFORM=sabre --SIMULATION
26# ninja
27#
28set(SIMULATION OFF CACHE BOOL "Include only simulation compatible tests")
29set(RELEASE OFF CACHE BOOL "Performance optimized build")
30set(VERIFICATION OFF CACHE BOOL "Only verification friendly kernel features")
31set(BAMBOO OFF CACHE BOOL "Enable machine parseable output")
32set(DOMAINS OFF CACHE BOOL "Test multiple domains")
33set(SMP OFF CACHE BOOL "(if supported) Test SMP kernel")
34set(NUM_NODES "" CACHE STRING "(if SMP) the number of nodes (default 4)")
35set(PLATFORM "x86_64" CACHE STRING "Platform to test")
36set(ARM_HYP OFF CACHE BOOL "Hyp mode for ARM platforms")
37set(MCS OFF CACHE BOOL "MCS kernel")
38set(KernelSel4Arch "" CACHE STRING "aarch32, aarch64, arm_hyp, ia32, x86_64, riscv32, riscv64")
39set(LibSel4TestPrinterRegex ".*" CACHE STRING "A POSIX regex pattern used to filter tests")
40set(LibSel4TestPrinterHaltOnTestFailure OFF CACHE BOOL "Halt on the first test failure")
41mark_as_advanced(CLEAR LibSel4TestPrinterRegex LibSel4TestPrinterHaltOnTestFailure)
42