Comment by AndyPa32

I have a TUXEDO Pulse 15 - Gen1 for almost 4 years now. And I am running Debian. Works great for me.