# Default configuration for microblaze-softmmu CONFIG_PTIMER=y CONFIG_VIRTIO_PCI=y CONFIG_PFLASH_CFI01=y