Kconfig

# This file defines the Kconfig menu structure.

mainmenu "Project Configuration"

config COMMON_PATH
    string
    option env="COMMON_PATH"

menu "seL4 Kernel"
source "kernel/Kconfig"
endmenu

menu "seL4 Applications"
    source "apps/storage/Kconfig"
endmenu

menu "seL4 Libraries"
    source "libs/libsel4/Kconfig"
    source "libs/libmuslc/Kconfig"
    source "libs/libsel4muslcsys/Kconfig"
    source "libs/libsel4vka/Kconfig"
    source "libs/libsel4vspace/Kconfig"
    source "libs/libsel4allocman/Kconfig"
    source "libs/libcpio/Kconfig"
    source "libs/libelf/Kconfig"
    source "libs/libsel4utils/Kconfig"
    source "libs/libsel4platsupport/Kconfig"
    source "libs/libsel4simple/Kconfig"
    source "libs/libsel4simple-default/Kconfig"
    source "libs/libutils/Kconfig"
    source "libs/libplatsupport/Kconfig"
    source "libs/libsel4debug/Kconfig"
    source "libs/libusbdrivers/Kconfig"
    source "libs/libsel4dma/Kconfig"
    source "libs/libsel4sync/Kconfig"
    source "libs/libsel4bench/Kconfig"
    source "libs/libpci/Kconfig"
    source "tools/elfloader/Kconfig"
endmenu

source "$COMMON_PATH/Kconfig"