# Default configuration for ppc-linux-user