blob: 982d4f7a5597edbcac5752acf7318e393a078a99 [file] [log] [blame]
# Copyright (c) 2016 Intel Corporation
# SPDX-License-Identifier: Apache-2.0
source "lib/libc/Kconfig"
source "lib/cpp/Kconfig"
menu "Additional libraries"
source "lib/os/Kconfig"
source "lib/posix/Kconfig"
source "lib/open-amp/Kconfig"
source "lib/util/Kconfig"
source "lib/smf/Kconfig"
endmenu