Kconfig

#
# Copyright 2014, NICTA
#
# This software may be distributed and modified according to the terms of
# the GNU General Public License version 2. Note that NO WARRANTY is provided.
# See "LICENSE_GPLv2.txt" for details.
#
# @TAG(NICTA_GPL)
#

mainmenu "CAmkES project configuration"

config COMMON_PATH
    string
    option env="COMMON_PATH"

menu "Kernel"
    source "kernel/Kconfig"
endmenu

menu "Libraries"
    source "libs/libmuslc/Kconfig"
    source "libs/libsel4/Kconfig"
    source "libs/libsel4muslcsys/Kconfig"
    source "libs/libsel4muslccamkes/Kconfig"
    source "libs/libsel4platsupport/Kconfig"
    source "libs/libsel4utils/Kconfig"
    source "libs/libcpio/Kconfig"
    source "libs/libelf/Kconfig"
    source "libs/libsel4sync/Kconfig"
    source "libs/libsel4vspace/Kconfig"
    source "libs/libsel4vka/Kconfig"
    source "libs/libplatsupport/Kconfig"
    source "libs/libsel4debug/Kconfig"
    source "libs/libutils/Kconfig"
    source "libs/libsel4simple/Kconfig"
    source "libs/libsel4simple-default/Kconfig"
    source "libs/libpci/Kconfig"
    source "libs/libsel4vmm/Kconfig"
    source "libs/libsel4allocman/Kconfig"
    source "libs/libsel4bench/Kconfig"
    source "libs/libsel4cxx/Kconfig"
    source "libs/libethdrivers/Kconfig"
    source "libs/liblwip/Kconfig"
endmenu

menu "Applications"
    source "apps/capdl-loader-experimental/Kconfig"
    source "apps/vm/Kconfig"
    source "apps/c162_twovm/Kconfig"
    source "apps/optiplex9020_onevm/Kconfig"
    source "apps/cma34cr_singlevm/Kconfig"
    source "apps/cma34cr_twovm/Kconfig"
    source "apps/cma34cr_vchan/Kconfig"
    source "apps/cxx/Kconfig"
endmenu

menu "VM Configuration"
    choice
        prompt "DMA Support Implementation"
        default APP_CAMKES_VM_GUEST_DMA_IOMMU
        help
            Select how hardware DMA support is implemented.
        config APP_CAMKES_VM_GUEST_DMA_ONE_TO_ONE
            bool "One to one physical address mapping"
        config APP_CAMKES_VM_GUEST_DMA_ONE_TO_ONE_UNSAFE
            bool "Mostly one to one physical address mapping (UNSAFE)"
        config APP_CAMKES_VM_GUEST_DMA_IOMMU
            bool "IOMMU"
        config APP_CAMKES_VM_GUEST_DMA_NONE
            bool "None"
    endchoice
endmenu

source "tools/camkes/Kconfig"
source "$COMMON_PATH/Kconfig"