yann@628: # ARM specific configuration file
yann@628: 
yann@628: config ARCH_arm
yann@1716:     select ARCH_SUPPORTS_32
yann@1716:     select ARCH_DEFAULT_32
yann@1594:     select ARCH_SUPPORTS_BOTH_MMU
yann@1594:     select ARCH_DEFAULT_HAS_MMU
yann@628:     select ARCH_SUPPORTS_BOTH_ENDIAN
yann@628:     select ARCH_DEFAULT_LE
yann@631:     select ARCH_SUPPORT_ARCH
yann@631:     select ARCH_SUPPORT_CPU
yann@631:     select ARCH_SUPPORT_TUNE
yann@631:     select ARCH_SUPPORT_FPU
yann@630:     help
yann@630:       The ARM architecture, as defined by:
yann@630:         http://www.arm.com/