# Default configuration for hppa-linux-user