# Default configuration for sh4eb-linux-user