Damien Zammit, le dim. 21 août 2022 07:00:49 +0000, a ecrit: > diff --git a/debian/patches/machirqdev.diff b/debian/patches/machirqdev.diff > index 2f74ca619..41894d288 100644 > --- a/debian/patches/machirqdev.diff > +++ b/debian/patches/machirqdev.diff
BTW, surely this patch and some others could be upstreamed? (thinking at least: busspaceunmap-rump.diff, debian/patches/dealloc.diff, debian/patches/gnumach-update, debian/patches/machirqdev.diff, debian/patches/memory-range.diff, debian/patches/pci-userspace-rump.diff, debian/patches/rumpuser-evcnt.diff, We want to maintain ourself as little as possible. Samuel
