# SPDX-License-Identifier: MIT# Build EABI kernels that support EABI system calls.CONFIG_AEABI=yCONFIG_ARM_THUMB=y# Failure to use this on ARM results in lots of interesting runtime bugs.CONFIG_CC_OPTIMIZE_FOR_SIZE=y# CONFIG_UNWINDER_ARM=yCONFIG_FUNCTION_GRAPH_TRACER=n