Question about Lenovo 40AC0135CH ThinkPad Thunderbolt 3 Dock

I use the docking station with a Lenovo X1 under Arch. However, I have only tested USB, Ethernet and charging via Thunderbolt 3 so far (everything works out-of-the-box). I haven't used external screens on the docking station (so I don't know if that works). I would say that if the Thunderbolt 3 port on the Dell XPS is running Linux, then chances are good that the docking station will also work.