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