# Default configuration for aarch64_be-linux-user