# Copyright (c) 2016 Intel Corporation # SPDX-License-Identifier: Apache-2.0 source "lib/libc/Kconfig" source "lib/cpp/Kconfig" menu "Additional libraries" source "lib/hash/Kconfig" source "lib/os/Kconfig" source "lib/posix/Kconfig" source "lib/open-amp/Kconfig" source "lib/smf/Kconfig" endmenu