# Default configuration for s390x-linux-user