# Default configuration for arm-softmmu