# ARM architecture configuration options

# Copyright (c) 2014-2015 Wind River Systems, Inc.
# SPDX-License-Identifier: Apache-2.0

menu "ARM Options"
	depends on ARM

rsource "core/aarch32/Kconfig"
rsource "core/aarch64/Kconfig"

config ARCH
	default "arm"

config ARM64
	bool
	select 64BIT

endmenu