2025-01-30T15:56:29+0000 Miod Vallat <miod@online.fr>:
> > So to summarize:
> 
> [...]
> 
> > After:
> > Keyboard:		Working
> > Trackpad:		Working
> > Trackpoint:		Working
> > Trackpoint Buttons:	Working
> 
> That's excellent news!
> 
> > To make this persistant on my machine, should I configure this on
> > /etc/bsd.re-config or should "LEN0071" be appended to
> > pckbc_acpi_cids_kbd?
> 
> Not appended, but put before the first NULL.

Right, will do.

> Note that I have a machine here (X230) also advertising its keyboard as
> LEN0071, which works fine with and without that diff... which is why it
> is important to test that diff also on systems where the keyboard is
> currently working correctly.
> 
> Thanks for testing!

Thank you! I'll keep testing it and report back if there's any issues.