# Default configuration for arm-linux-user