Working on the rockchip64 family dev images, since 4.19 is an LTS and the RK3328 support is somewhat workable.  With a reminder of something I failed to read by @JMCC, I got this today:

 

 ____                                 _
|  _ \ ___ _ __   ___  __ _  __ _  __| | ___
| |_) / _ \ '_ \ / _ \/ _` |/ _` |/ _` |/ _ \
|  _ <  __/ | | |  __/ (_| | (_| | (_| |  __/
|_| \_\___|_| |_|\___|\__, |\__,_|\__,_|\___|
                      |___/

Welcome to ARMBIAN 5.65 user-built Debian GNU/Linux 9 (stretch) 4.19.0-rockchip6                                                                                                                                                                                                                                             4
System load:   0.99 0.55 0.22   Up time:       2 min
Memory usage:  3 % of 2000MB    IP:
CPU temp:      40°C
Usage of /:    2% of 117G

[ General system configuration (beta): armbian-config ]

New to Armbian? Check the documentation first: https://docs.armbian.com


Thank you for choosing Armbian! Support: www.armbian.com

Building a Rock64 test image as I write this, then checking out the RK3399 boards in my possession. HDMI works after a plug cycle, may need to utilize some of @botfap's script-fu on boot to wake up the interface. 

 

Known Issues:

 

Renegade

• bottom USB2 port is non-functional
• HDMI needs a friendly reminder to talk to the display

 

Rock64

• Same HDMI hickup
• Top USB2 port is non-functional

 

Boot up your build machines (or launch you virtual ones, whatever) and get hacking!

When did HDMI break? It is working in the stable released images

One of the show stoppers for me is RAM speed. It sticks with whatever initialised by uboot. That usually is very conservative nor Rockchip has given little care.