# General configuration options # Copyright (c) 2014-2015 Wind River Systems, Inc. # SPDX-License-Identifier: Apache-2.0 mainmenu "Zephyr Kernel Configuration" source "Kconfig.zephyr"
