# Default configuration for microblaze-linux-user