#
# Copyright 2018, 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.8.2)

# Kernel settings
set(KernelArch x86 CACHE STRING "" FORCE)
set(KernelPlatform pc99 CACHE STRING "" FORCE)
set(KernelVTX ON CACHE BOOL "" FORCE)
set(KernelRootCNodeSizeBits 20 CACHE STRING "" FORCE)
set(KernelMaxNumBootinfoUntypedCap 100 CACHE STRING "")
set(KernelIRQController IOAPIC CACHE STRING "" FORCE)
if(CAmkESVMGuestDMAIommu)
    set(KernelIOMMU ON CACHE BOOL "" FORCE)
endif()
# Release settings
set(RELEASE OFF CACHE BOOL "Performance optimized build")
# capDL settings
set(CapDLLoaderMaxObjects 900000 CACHE STRING "" FORCE)
# Our components will all define their own heaps if needed
set(CAmkESDefaultHeapSize 0 CACHE STRING "" FORCE)
# We need to pre-process our specs
set(CAmkESCPP ON CACHE BOOL "" FORCE)

# Set release/verification configuration
ApplyCommonReleaseVerificationSettings(${RELEASE} FALSE)
