settings.cmake

#
# Copyright 2019, Data61
# Commonwealth Scientific and Industrial Research Organisation (CSIRO)
# ABN 41 687 119 230.
#
# This software may be distributed and modified according to the terms of
# the BSD 2-Clause license. Note that NO WARRANTY is provided.
# See "LICENSE_BSD2.txt" for details.
#
# @TAG(DATA61_BSD)
#

cmake_minimum_required(VERSION 3.7.2)

set(project_dir "${CMAKE_CURRENT_LIST_DIR}/../../")
set(SEL4_CONFIG_DEFAULT_ADVANCED ON)
set(supported "exynos5422;qemu-arm-virt;odroidc2;tx2")

file(GLOB project_modules ${project_dir}/projects/*)
list(
    APPEND
        CMAKE_MODULE_PATH
        ${project_dir}/kernel
        ${project_dir}/tools/seL4/cmake-tool/helpers/
        ${project_dir}/tools/seL4/elfloader-tool/
        ${project_modules}
)

include(application_settings)

if("${PLATFORM}" STREQUAL "")
    set(PLATFORM "exynos5422")
endif()
if (NOT "${PLATFORM}" IN_LIST supported)
    message(FATAL_ERROR "PLATFORM: ${PLATFORM} not supported. Supported: ${supported}")
endif()
if("${PLATFORM}" STREQUAL "exynos5422")
    set(KernelPlatform exynos5 CACHE STRING "" FORCE)
    set(KernelARMPlatform exynos5422 CACHE STRING "" FORCE)
endif()
if("${PLATFORM}" STREQUAL "qemu-arm-virt")
    if (MULTI_VM_LAN)
        message(FATAL_ERROR "The Multi-VM configuration is not supported on the qemu-arm-virt platform")
    endif()
    set(KernelPlatform qemu-arm-virt CACHE STRING "" FORCE)
    set(KernelARMPlatform qemu-arm-virt CACHE STRING "" FORCE)
    set(QEMU_MEMORY "2048")
    set(qemu_sim_extra_args "-netdev tap,id=mynet0,ifname=tap0,script=no,downscript=no -device virtio-net,netdev=mynet0,mac=52:55:00:d1:55:01")
    set(KernelArmCPU cortex-a53 CACHE STRING "" FORCE)
    set(KernelArmHypervisorSupport ON CACHE BOOL "" FORCE)
endif()
if("${PLATFORM}" STREQUAL "odroidc2")
    set(KernelPlatform odroidc2 CACHE STRING "" FORCE)
    set(KernelARMPlatform odroidc2 CACHE STRING "" FORCE)
    set(KernelArmHypervisorSupport ON CACHE BOOL "" FORCE)
    set(VmDtbFile ON CACHE BOOL "" FORCE)
endif()
if("${PLATFORM}" STREQUAL "tx2")
    set(KernelPlatform tx2 CACHE STRING "" FORCE)
    set(KernelARMPlatform tx2 CACHE STRING "" FORCE)
    set(KernelArmHypervisorSupport ON CACHE BOOL "" FORCE)
    set(VmVirtioNet ON CACHE BOOL "" FORCE)
    set(VmDtbFile ON CACHE BOOL "" FORCE)
endif()
set(KernelSel4Arch "arm_hyp" CACHE STRING "" FORCE)
set(KernelRootCNodeSizeBits 18 CACHE STRING "" FORCE)
set(KernelArmVtimerUpdateVOffset OFF CACHE BOOL "" FORCE)
set(KernelArmDisableWFIWFETraps ON CACHE BOOL "" FORCE)
set(VmPCISupport ON CACHE BOOL "" FORCE)
if(MULTI_VM_LAN)
    set(VmVirtioConsole ON CACHE BOOL "" FORCE)
    set(VmVirtioNetVirtqueue ON CACHE BOOL "" FORCE)
endif()
set(VmInitRdFile ON CACHE BOOL "" FORCE)

# CAmkES Settings
set(CAmkESCPP ON CACHE BOOL "" FORCE)

# capDL settings
set(CapDLLoaderMaxObjects 90000 CACHE STRING "" FORCE)
set(LibUSB OFF CACHE BOOL "" FORCE)

find_package(seL4 REQUIRED)
sel4_configure_platform_settings()

# Set up elfloader settings for our platform
ApplyData61ElfLoaderSettings(${KernelARMPlatform} ${KernelSel4Arch})

# Release settings
ApplyCommonReleaseVerificationSettings(FALSE FALSE)