Comment 2 for bug 1826422

Revision history for this message
Saverio Miroddi (64kramsystem) wrote :

> Does adding "kernel_irqchip=on" to the comma separated list of options for -machine resolve it?

Yes, that solved it, thanks!