Il giorno gio 15 ott 2026 alle ore 08:55 Samuel Thibault <[email protected]> ha scritto: > > currently we have patches in the debian package, yes. > > Samuel
Just to be sure. Are you talking about https://salsa.debian.org/hurd-team/rumpkernel ? Gianluca
