Samuel Thibault, le sam. 18 juil. 2020 17:52:39 +0200, a ecrit: > rumpkernel/0003-pci-userspace-Use-new-mach-IRQ-device-RPC-interfaces.patch
Also, add in debian/control a dependency on the gnumach kernel package that includes the new RPC, to make sure people reboot with a kernel that actually supports it. Please always remember to deal with compatibility and upgrade path. Samuel
