The Carbon X1 was a good Linux machine, no question about it but the Lenovo batteries suck SO HARD, my laptop was a stationary machine for the last 6 months. Not a second of power left in the battery. No replacement possible either, or pointless, as their year of manufacture is the year the laptop was built, that's 6 years of shelf life.. So yeah, hello Tuxedo XP15. Made for Linux, made in Germany 🐧❤️