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

endmenu