I run last year’s X1 Carbon and it worked flawlessly with Debian out of the box. Battery life is excellent (3.5W isle with medium brightness) and the only thing that doesn’t work with Linux is the fingerprint scanner. It’s a great device that I would definitely recommend. ThinkPads generally do really well with Linux. And the keyboards are even better than Dell’s ;)