> Does adding "kernel_irqchip=on" to the comma separated list of options for -machine resolve it?
Yes, that solved it, thanks!
> Does adding "kernel_irqchip=on" to the comma separated list of options for -machine resolve it?
Yes, that solved it, thanks!