# Default configuration for ppc64abi32-linux-user