I am using OpenBSD as my primary workstation on a 2015 Carbon X1, and it works like a charm.