## Tuxedo OS

Notes on the Tuxedo hardware OS