Der Linux-Notebook-Hersteller TUXEDO wechselt die Basis seines Betriebssystems TUXEDO OS von Ubuntu zu Debian Testing und erklärt sein erweitertes Sicherheitskonzept.