DisplayLink provider does not show up with USBC Lenovo dock

Trying to run two screens connected to a ThinkPad USBC dock, which is connected to my laptop via USBC. The dock is connected as it charges and works with external mouse / keyboard. I have followed the instructions to the letter on DisplayLink section of the arch wiki. When running xrandr --listproviders, only one provider shows up. The displaylink provider does not show up: `Providers: number : 1 Provider 0: id: 0x48 cap: 0xf, Source Output, Sink Output, Source Offload, Sink Offload crtcs: 4 outputs: 6 associated providers: 0 name:modesetting` I have tried all versions of evdi (evdi, evdi-git, evdi-compat-git). udl is installed and running and I have edited the 20-evdi.conf file. I have updated my system, re installed displaylink, all versions of evdi, etc. I have tried any debugging solutions I can find.