# Default configuration for aarch64-linux-user