TUXEDO Computers ist ein Produzent aus Deutschland, der Laptops und Computer direkt für Linux produziert.