# Kconfig - general architecture configuration options

#
# Copyright (c) 2014-2015 Wind River Systems, Inc.
# Copyright (c) 2015 Intel Corporation
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
# You may obtain a copy of the License at
#
#     http://www.apache.org/licenses/LICENSE-2.0
#
# Unless required by applicable law or agreed to in writing, software
# distributed under the License is distributed on an "AS IS" BASIS,
# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
# See the License for the specific language governing permissions and
# limitations under the License.
#


choice
	prompt "Architecture"
	default X86

config ARC
	bool "ARC architecture"

config ARM
	bool "ARM architecture"

config X86
	bool "x86 architecture"
	select NANOKERNEL_TICKLESS_IDLE_SUPPORTED
	select ADVANCED_IDLE_SUPPORTED

endchoice

config ARCH
	string
	help
	System architecture string.

config SOC
        string
        help
        This option holds the directory name used by the build system to locate
        the correct linker file.

config BOARD
	string
	help
	This option holds the name of the board and is used to located the files
	related to the board in the source tree.

source "arch/*/Kconfig"

source "boards/Kconfig"