There's Tuxedo computers and System76.

https://www.tuxedocomputers.com/en

https://system76.com/