Hi, I use a Tuxedo Computers 'InfinityBook Pro Gen7 (Mk1), according to the sticker.
The name is silly, but I use it for work with arch Linux exclusively and like it a lot. The screen is delightful. As the name suggests, the company deals in Linux computers and were nice to interact with. Max
