# Default configuration for armeb-linux-user