I've got a Lenovo X1 Carbon 7th gen for FreeBSD development; there are many options besides ancient hardware. Buying a non-name $200 laptop isn't likely to result in a good experience, but if you're willing to do a little research there are many good options.
The mic doesn't work yet, actually an array of MEMS mics and needs firmware for an onboard DSP. The trackpad driver isn't yet in the tree and needs to be built separately. Overall it provides a decent experience for someone with a bit of skill.
Fair enough! I meant there are not many options other than Thinkpads and some business models from Dell or HP. Even an expensive consumer grade laptop will have all sorts of driver issues.
