Hi, This patchset addresses all the issues raised the first time around. I tested it to boot a rump disk and shut down cleanly in qemu. I had to patch rumpkernel as before, but the rumpkernel patches can be separate to this, as we don't have to hard switch to using ACPI for irqs.
I have another patch coming for libirqhelp. This will enable us to simplify rumpkernel to not have the irq thread built in, but just link to a hurd helper library. Thanks, Damien
