# Default configuration for xtensa-linux-user