1# General configuration options
2
3# Copyright (c) 2014-2015 Wind River Systems, Inc.
4# SPDX-License-Identifier: Apache-2.0
5
6mainmenu "Zephyr Kernel Configuration"
7
8source "Kconfig.zephyr"
9