yann@628: # ARM specific configuration file
yann@628: 
yann@2444: ## select ARCH_SUPPORTS_32
yann@3262: ## select ARCH_SUPPORTS_64
yann@2444: ## select ARCH_DEFAULT_32
yann@2444: ## select ARCH_SUPPORTS_BOTH_MMU
yann@2444: ## select ARCH_DEFAULT_HAS_MMU
yann@2444: ## select ARCH_SUPPORTS_BOTH_ENDIAN
yann@2444: ## select ARCH_DEFAULT_LE
yann@2788: ## select ARCH_SUPPORTS_WITH_ARCH
yann@2788: ## select ARCH_SUPPORTS_WITH_CPU
yann@2788: ## select ARCH_SUPPORTS_WITH_TUNE
yann@3262: ## select ARCH_SUPPORTS_WITH_FLOAT if ARCH_32
yann@3262: ## select ARCH_SUPPORTS_WITH_FPU if ARCH_32
yann@3262: ## select ARCH_SUPPORTS_SOFTFP if ARCH_32
yann@2444: ##
yann@2444: ## help The ARM architecture, as defined by:
yann@2444: ## help     http://www.arm.com/