I second the Carbon X1 .. Great laptop. It's small, light has an awesome keyboard and touchpad. I run Debian Jessie on mine.. Everything works 100% except for the fingerprint reader (I don't use it.. Maybe it does work thou!). Currently travelling on the road and using the built in UTMS/3g modem- works like a charm!

I want to get a thinkpad, but the dell vostro that I am using just won't die. :-)

I run debian x64 on it without any problem.

I love my X1 Carbon.