TUXEDO Computers, deutscher Hersteller von Linux-Notebooks, stellt mit TUXEDO OS 1 die erste Ausgabe der hauseigenen Distribution vor, die auch als Live-ISO verfügbar ist.