ich arbeite seit einigen Jahren ausschließlich mit Linux und bin mit den Geräten und dem Service von Tuxedo (
https://www.tuxedocomputers.com/) mehr als zufrieden. Die haben mir bei einer defekten Ladebuchse auch nach längerer Zeit noch kostenlos das Motherboard getauscht. Mein aktuelles ist ein Pulse 15 mit Ryzen ... sehr ruhig, hohe Leistung, Akku hält locker über den ganzen Tag.