I have Arch with Gnome on the 4K HP Spectre x360 13 inch, and everything basically just works. Even mixed-DPI with a standard HD monitor.