Suprisely to me even, all these work work fine on Debian. Debian needed me to slide load the intel wireless drivers (a disappointing aspect I grant) but otherwise everything just worked right out of the box. Lenovo X1 Carbon 5th Generation.