| # 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 |