Those and System76 of course. Plus the SteamDeck is Linux, as are a number of other handheld gaming systems. The new Steam Machine is as well.