# Default configuration for x86_64-softmmu