Re: redmi laptop keyboard problem

[Todd C . Miller]

On Fri, 24 Feb 2023 12:25:51 -0700, "Theo de Raadt" wrote:

> The invention of interrupts was a bad idea.
>
> We should dedicate a core to polling. /sarc

big.little to the rescue!

 - todd