# Default configuration for ppc64-linux-user