Tuxedo Computers to niemiecka marka specjalizująca się w produkcji laptopów, komputerów stacjonarnych i mini-PC zoptymalizowanych pod kątem systemów Linux, w tym własnej dystrybucji TuxedoOS opartej na Kubuntu. Firma projektuje sprzęt tak, aby działał bezproblemowo, dlatego każdy model przechodzi testy obejmujące hardware, firmware, sterowniki oraz konfigurację BIOS. Jednak w przypadku platform na procesorach Qualcomm to się nie udało.