mirror of
https://github.com/AmbiML/sparrow-kata-full.git
synced 2025-04-27 10:31:31 +00:00
1a068b0143
This includes adding it to TOML files and CAmkES assembly files. Change-Id: I263e7a566df91fccc04f9b2186edab13331290c5 GitOrigin-RevId: 48a35b06ca868a0a4d379f881068cc4dad491669
33 lines
1.7 KiB
CMake
33 lines
1.7 KiB
CMake
# Copyright 2022 Google LLC
|
|
#
|
|
# Licensed under the Apache License, Version 2.0 (the "License");
|
|
# you may not use this file except in compliance with the License.
|
|
# You may obtain a copy of the License at
|
|
#
|
|
# https://www.apache.org/licenses/LICENSE-2.0
|
|
#
|
|
# Unless required by applicable law or agreed to in writing, software
|
|
# distributed under the License is distributed on an "AS IS" BASIS,
|
|
# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
# See the License for the specific language governing permissions and
|
|
# limitations under the License.
|
|
|
|
set(CAMKES_APP "system" CACHE STRING "The one and only CAmkES application in this project")
|
|
#set(CAPDL_LOADER_APP "capdl-loader-app" CACHE STRING "")
|
|
set(CAPDL_LOADER_APP "kata-os-rootserver" CACHE STRING "")
|
|
|
|
set(PLATFORM "sparrow" CACHE STRING "The one and only seL4 platform for Sparrow")
|
|
set(RUST_TARGET "riscv32imac-unknown-none-elf" CACHE STRING "Rust target_arch")
|
|
set(KernelSel4Arch "riscv32" CACHE STRING "Specifies 32-bit branch of the seL4 spike platform")
|
|
set(KernelIsMCS ON CACHE BOOL "Enable seL4 MCS support")
|
|
set(KernelPrinting ON CACHE BOOL "Enable seL4 console output support")
|
|
set(CAmkESDefaultHeapSize "8192" CACHE STRING "CAmkES per-component heap size (bytes)")
|
|
|
|
set(LibUtilsDefaultZfLogLevel 5 CACHE STRING "seL4 internal logging level (0-5).")
|
|
set(SIMULATION ON CACHE BOOL "Whether to build simulate script")
|
|
set(RELEASE OFF CACHE BOOL "Performance optimized build")
|
|
set(UseRiscVBBL OFF CACHE BOOL "Whether to use bbl")
|
|
|
|
set(KernelNumDomains 1 CACHE STRING "How many scheduling domains to build for")
|
|
set(KernelDomainSchedule "${CMAKE_CURRENT_LIST_DIR}/kernel/round_robin_domain.c" CACHE INTERNAL "Domain scheduler algorithm")
|