ThinkPad X1 Carbon Gen3

Amazingly the X1C3 works out of the box on Archlinux.

Only a couple of niggly issues remain:

• Brightness buttons do not work
• HDMI sound output does not work

1. Distro resources

• Resources for running with Archlinux