comment "ARM specific options"

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