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