kernelconfig_penguin
CONFIG_AEABI is not available for the default architecture x86.
Result is shown for architecture arm
is selected by
CONFIG_VDSO


Use the ARM EABI to compile the kernel

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.