Lenovo ThinkPad P1 Gen 2 + Lenovo Docking Station ThinkPad Universal 4K UHD USB Type-C. New build with 25.05.
There are two extra displays connected to the docking station; one DP and one HDMI. They both appear in the GNOME display settings dialog and I can use that dialog to arrange them (drag them around) etc.
But the displays are not driven. One shows the built in “No Input” message and the other, nothing.
So I as per this wiki, I set services.xserver.videoDrivers = [ "displaylink" ] etc. but when nixos-rebuild compiles the download, it fails with a source code error (pointer types incompatible).
I tried downgrading gcc to 11 but no dice.
WTAF.
What now?