01-18-2019, 04:13 PM
That missing file seems to be firmware for "rk3399 Type-C DisplayPort controller" (first commit in log: https://git.kernel.org/pub/scm/linux/ker...p/dptx.bin). In Ubuntu it's in package linux-firmware:
I haven't tried Debian/Stretch myself but firmware-linux package sounds promising there (https://packages.debian.org/stretch-back...ware-linux).
Code:
$ dpkg -S dptx.bin
linux-firmware: /lib/firmware/rockchip/dptx.bin
I haven't tried Debian/Stretch myself but firmware-linux package sounds promising there (https://packages.debian.org/stretch-back...ware-linux).