Does someone use a Tuxedo Infinity Book Pro 14?



I am thinking about purchasing a new notebook for myself. I’m thinking
about the Tuxedo InfinityBook 14 Pro - does someone in here have one
and can report how well it works with NixOS?

Best regards!


I use the non Pro variant, and essentially everythings works perfectly here.
Im on unstable channel and running a recent kernel (linuxPackages_latest, 4.18.12 currently).

One thing I could not get to work so far is charging the laptop over the usbc port which should be possible according to the specs, but that is a fairly new feature for laptops and notoriously fragile (you have to use the right charger, cable etc.).