Help needed on debian (xps13, d3100)

[MartinHerrman]

Thanks to displaylink for providing the Ubuntu drivers, and also much thanks to everyone who is helping to get them working at other distributions as well.

Since half a year I own a xps13 and d3100. I'm running debian jessie with a custom 4.4 kernel. This week I tried the script provided here:

https://github.com/yishinli/displaylink-debian

Unfortunately, the power supply doesn't work, neither does the HDMI output. Any advise here is really appreciated. Attached is a zip file containing my dmesg output.

Thanks in advance!