1# 2# Copyright 2016, Data61 3# Commonwealth Scientific and Industrial Research Organisation (CSIRO) 4# ABN 41 687 119 230. 5# 6# This software may be distributed and modified according to the terms of 7# the BSD 2-Clause license. Note that NO WARRANTY is provided. 8# See "LICENSE_BSD2.txt" for details. 9# 10# @TAG(D61_BSD) 11# 12 13config SEL4_LIBS_PATH 14 string 15 option env="SEL4_LIBS_PATH" 16 17menu "seL4 Libraries" 18 19source "$SEL4_LIBS_PATH/libsel4/Kconfig" 20source "$SEL4_LIBS_PATH/libcpio/Kconfig" 21source "$SEL4_LIBS_PATH/libdatastruct/Kconfig" 22source "$SEL4_LIBS_PATH/libelf/Kconfig" 23source "$SEL4_LIBS_PATH/libmuslc/Kconfig" 24source "$SEL4_LIBS_PATH/libsel4allocman/Kconfig" 25source "$SEL4_LIBS_PATH/libsel4debug/Kconfig" 26source "$SEL4_LIBS_PATH/libsel4muslcsys/Kconfig" 27source "$SEL4_LIBS_PATH/libsel4platsupport/Kconfig" 28source "$SEL4_LIBS_PATH/libsel4simple/Kconfig" 29source "$SEL4_LIBS_PATH/libsel4simple-default/Kconfig" 30source "$SEL4_LIBS_PATH/libsel4utils/Kconfig" 31source "$SEL4_LIBS_PATH/libsel4vspace/Kconfig" 32source "$SEL4_LIBS_PATH/libsel4vka/Kconfig" 33source "$SEL4_LIBS_PATH/libsel4utils/Kconfig" 34source "$SEL4_LIBS_PATH/librefossys/Kconfig" 35source "$SEL4_LIBS_PATH/librefos/Kconfig" 36source "$SEL4_LIBS_PATH/libutils/Kconfig" 37source "$SEL4_LIBS_PATH/libvterm/Kconfig" 38source "$SEL4_LIBS_PATH/libplatsupport/Kconfig" 39 40endmenu 41