A friend of mine has a Tuxedo Pulse 14 (if I remember correctly) and he is using openSUSE Tumbleweed with KDE Plasma on it and he sounds very happy about it.