Slimbook (Spanish OEM) basically sells the same ODM designs as Tuxedo and is an option. They have a few cobranded (KDE etc) versions that contribute to the deve

Slimbook (Spanish OEM) basically sells the same ODM designs as Tuxedo and is an option. They have a few cobranded (KDE etc) versions that contribute to the development teams. Otherwise at this point I believe the Framework laptops have pretty solid Linux support and is a good option if you're ok w/ so-so battery life.