Tuxedo OS

Auf dem bereits erwähnten neuen Notebook ist standardmässig Tuxedo OS installiert.

https://www.deimeke.net/dirk/blog/index.php?/archives/4346-Tuxedo-OS.html