Tuxedo Computers GmbH is a computer manufacturer based in Augsburg, Germany. The company specializes in desktop computers and laptops with a pre-installed Linux operating system. The devices are manufactured in Leipzig, Germany. Tuxedo Computers equips its devices with Tuxedo OS, its own Linux distribution based on Ubuntu, or installs a selection of distributions as well as Microsoft Windows as an operating system in parallel with the Linux system or in a virtual machine.