Appendix · reference

Synopsys DesignWare HDMI

RK3399 HDMI TX block, compiled-in but never exercised on PinePhone Pro

Identity

PartSynopsys DesignWare HDMI TX (RK3399 instance)
RoleHDMI transmitter; on PinePhone Pro the only physical output path is USB-C DP alt mode through the TCPHY
Bus / addressMMIO 0xff940000 (SoC-internal)
GPIO / IRQInternal SoC interrupt; pixel clock from CRU
DatasheetRK3399 TRM
Pine64 wikiPinePhone Pro hardware
Schematicsheet 5 (USB-C / DP alt mode)

Status — · not started

The driver is in the PINEPHONE_PRO kernel config (device dw_hdmi) and links into the build, but the PinePhone Pro does not expose an HDMI connector — any external display has to come up through USB-C DisplayPort alternate mode, which routes through the RK3399 TCPHY rather than the DW HDMI TX. Nothing in the current tree drives a DP-alt-mode handshake from the FUSB302 side, so even though the HDMI driver is compiled, it has never been exercised on hardware. On PineTab2 the DW-HDMI sibling block is the primary external output, but that’s a separate Phase 3 target.

Driver

Code lineage matches the Synopsys / Rockchip split used by dw_mipi_dsi. PineTab2 (covacat tree) actually exercises this driver and is the nearest reference for “does it work on FreeBSD.” On PinePhone Pro, the practical first step is the FUSB302 / TCPHY DP-alt path: the cross-driver audit documents the missing source-role plumbing in fusb302 and the SWITCH2 entanglement in rk818 that gates an OTG/DP transition.

Open work