On Wednesday, 6 August 2025 at 21:13, Benjamin Martin <[email protected]> wrote:
> Any more info on this bug?

I'll do some more investigation and consider a patched kernel. Are you able to 
build a kernel locally if I provide a patch or would you prefer a binary kernel 
.deb package?

@Uwe: do we have a mechanism to offer 'trusted' custom builds via Debian 
infrastructure?

Reply via email to