Just to keep the information for later packaging efforts: Arch Linux has some good information on DisplayLink: https://wiki.archlinux.org/index.php/DisplayLink
Also their displaylink package might give some information on what is needed for the proprietary driver part: https://aur.archlinux.org/packages/displaylink/
