Jamie Heilman wrote: > Marc, you'll want to review the above mentioned bugs and verify that > your config matches; iow, that you're using a virtio-blk boot device.
Actually, I can reproduce this on guests without any virtio devices present, the in-kernel irqchip implementation itself appears to be the source of the problem, but its likely not the same issue I thought it was. -- Jamie Heilman http://audible.transient.net/~jamie/ -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org