Subject: Re: [bug#72390] [PATCH] gnu: tuxedo-keyboard: Update to 4.6.1

From: Leo Famulari <[email-masked]>
Date: Thu, 1 Aug 2024 17:10:40 -0400

On Wed, Jul 31, 2024 at 09:11:50AM +0200, Ashish SHUKLA wrote:
> I tested building this with Linux kernel 6.9.x.
> 
> For kernel > 6.10.x, we will need following patch (not included):
> 
> https://gitlab.com/tuxedocomputers/development/packages/tuxedo-drivers/-/issues/182#note_2007072529

Is that a patch for tuxedo-keyboard, or for the kernel?