7 ms·I have a TUXEDO Pulse 15 - Gen1 for almost 4 years now. And I am running Debian. Works great for me.by AndyPa32 3y agoI have a TUXEDO Pulse 15 - Gen1 for almost 4 years now. And I am running Debian. Works great for me.