# SPDX-License-Identifier: MIT
# Kernel support for 32-bit EL0
CONFIG_COMPAT=y