Am Montag, 30. Juli 2018, 04:12:01 CEST schrieb djw at t-chip.com.cn:

From: Levin Du <redacted>

ROC-RK3399-PC is a power efficient 4GB LPDDR4 single board
computer with USB 3.0 and Gigabit Ethernet in a form factor
compatible with the Raspberry Pi. It is based on the Rockchip
RK3399 SoC, powered by the Type-C port.

The devicetree currently supports peripherals of:

- Ethernet
- HDMI
- SD Card
- UART2 debug
- Type-C
- eMMC

USB3 in Type-C port currently only works with normal orientation,
not flip one.

Signed-off-by: Levin Du <redacted>

applied with Rob's review-tag.

Might still make it into 4.19 but also may have to wait for 4.20


Heiko