# Default configuration for alpha-linux-user