yann@628: # ARM specific configuration file
yann@628: 
yann@2444: ## select ARCH_SUPPORTS_32
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@2444: ## select ARCH_SUPPORT_ARCH
yann@2444: ## select ARCH_SUPPORT_CPU
yann@2444: ## select ARCH_SUPPORT_TUNE
yann@2444: ## select ARCH_SUPPORT_FPU
yann@2444: ##
yann@2444: ## help The ARM architecture, as defined by:
yann@2444: ## help     http://www.arm.com/