"Tuxedo OS is the distro built for Tuxedo computers, but anyone can install it. This quick look is before the Debian switch to see why someone might consider running this as a daily driver."