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.