DL main display for Raspbian
Add drivers for ARM, and specifically for Raspbian. Make the drivers work over HDMI instead of (or in addition to) working over USB.
ARM 32 bit binary is included in 4.4.
That’s not an actively supported platform though, due to the low level of requests. HDMI input in DisplayLink isn’t technically possible today.