# Default configuration for ppc64le-linux-user