A true mainline Linux Kernel for the Pinebook Pro

[Arwen]

To clarify for others reading this, the RK3399 SoC chip used in the Pinebook Pro supports USB C alternate mode DisplayPort.

When buying a USB C dock for video from the RK3399, the USB C dock must support USB C alternate mode DisplayPort regardless of the connector on the other end. Any other video connector, like HDMI or VGA, would be an active translator from DisplayPort to HDMI, (or VGA). Those should work fine.

However, there are USB C alternate mode HDMI devices which would NOT work with the Pinebook Pro. These are rarer, and came out months, (or was it years?), after USB C alternate mode DisplayPort came out as the first video alternate mode.

Last, a few USB docking stations have chips for the video using USB to the host computer. These are not USB C alternate mode video devices, (DisplayPort or other). You would likely need drivers for the chip used, and Linux ARM64 type drivers at that.

I suspect a Wiki page update will happen to describe how to select, use and troubleshoot such devices.

Edit: Here is a Wiki page link;

Wiki - Pinebook Pro - USB docks & USB C alternate mode video

As usual, feel free to correct, improve or comment, (good or politely bad).