1# Copyright (c) 2016 Intel Corporation
2# SPDX-License-Identifier: Apache-2.0
3
4source "lib/libc/Kconfig"
5
6source "lib/cpp/Kconfig"
7
8menu "Additional libraries"
9
10source "lib/hash/Kconfig"
11
12source "lib/os/Kconfig"
13
14source "lib/posix/Kconfig"
15
16source "lib/open-amp/Kconfig"
17
18source "lib/smf/Kconfig"
19
20endmenu
21