| # 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 |