Arch Linux on RockPro64

[Tigger]

To be clear, HDMI support is not working?

In the mainline Linux kernel, there is no HDMI port defined in the device tree of the Rock64.
In the mainline Linux kernel, there is no device tree for the RockPro64 (yet).
See here : https://github.com/torvalds/linux/tree/9...s/rockchip

In the Rockchip Linux kernel (non-mainline) there is : https://github.com/rockchip-linux/kernel...s/rockchip

@mmatyas :
It should be possible to copy the relevant DTS files (or just the relevant DTS entries) from the Rockchip repo to the Arch source, and then (cross) compile Arch with HDMI support.

The following, only if you don't know about device trees. Else skip.

*.dts files contain board level definitions.
*.dtsi files are include(d) files (included from *.dts) and contain SoC level difinitions (SoC === RK3399 for RockPro64, RK3328 for Rock64).
If you need some grounding about device trees, this is pretty accessible : https://bootlin.com/pub/conferences/2013...ummies.pdf



After setting up a (generic) DTS, you might have to tweak the HDMI resolution and signal with U-boot's fbpanel.
Starting point : https://boundarydevices.com/display-conf...on-u-boot/
Or "screen resolution kernel boot parameters" like "vga=" and "video=" : https://github.com/torvalds/linux/blob/m...meters.txt