# ARM specific configuration file

## select ARCH_SUPPORTS_32
## select ARCH_DEFAULT_32
## select ARCH_SUPPORTS_BOTH_MMU
## select ARCH_DEFAULT_HAS_MMU
## select ARCH_SUPPORTS_BOTH_ENDIAN
## select ARCH_DEFAULT_LE
## select ARCH_SUPPORT_ARCH
## select ARCH_SUPPORT_CPU
## select ARCH_SUPPORT_TUNE
## select ARCH_SUPPORT_FPU
##
## help The ARM architecture, as defined by:
## help     http://www.arm.com/