I use a tuxedo infinity since 1 1/2 years and couldn't be happier. https://www.tuxedocomputers.com/Linux-Hardware/Linux-Noteboo...