# # Copyright (c) 2016 Intel Corporation # # SPDX-License-Identifier: Apache-2.0 # source "lib/libc/Kconfig" menu "Additional libraries" source "lib/cmsis_rtos_v1/Kconfig" source "lib/cmsis_rtos_v2/Kconfig" source "lib/gui/Kconfig" source "lib/os/Kconfig" source "lib/posix/Kconfig" source "lib/updatehub/Kconfig" endmenu