Use the ARM EABI to compile the kernel

CONFIG_AEABI is not available for the default architecture x86.
Result is shown for architecture arm

is selected by

CONFIG_XEN
CONFIG_UNWINDER_ARM
CONFIG_VDSO

is depended by

CONFIG_ARCH_OMAP2PLUS_TYPICAL

configname: CONFIG_AEABI

Linux Kernel Configuration

└─> Kernel Features

└─> Use the ARM EABI to compile the kernel

This option allows for the kernel to be compiled using the latest
ARM ABI (aka EABI). This is only useful if you are using a user
space environment that is also compiled with EABI.

Since there are major incompatibilities between the legacy ABI and
EABI, especially with regard to structure member alignment, this
option also changes the kernel syscall calling convention to
disambiguate both ABIs and allow for backward compatibility support
(selected with CONFIG_OABI_COMPAT).

To use this you need GCC version 4.0.0 or later.