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