Der Linux-Hardware-Anbieter Tuxedo Computers stellt die Basis seines Linux-Betriebssystems Tuxedo OS von Ubuntu auf Debian um.