They use hardware from clevo-computers.com, but they select certain parts. The uefi is not the stock, so I'm assuming they do some tuning.

TuxedoOS was very limiting to me; a vanilla Debian works very well.