comment "ARM specific options"

config ARCH_ARM_EABI
    bool
    prompt "Use EABI (EXPERIMENTAL)"
    depends on EXPERIMENTAL
    default n
    help
      Set up the toolchain so that it generates EABI-compliant binaries.

config ARCH_ABI
    default "aapcs" if ARCH_ARM_EABI