Hacker News new | ask | show | jobs
by AndyPa32 826 days ago
I have a TUXEDO Pulse 15 - Gen1 for almost 4 years now. And I am running Debian. Works great for me.