RockPro64

This repo has realtime 4.4.167 kernel for 3399 soc
github.com/rockchip-linux/kernel/tree/develop-4.4-rt
i have not tested yet but seems ok.

Did you have any luck with these boards?

No.
rt kernel with default .config does not work .

What kernel did you use? One from the rockchip repo? Did everything on the rock pro work right with this kernel?

Getting linuxcnc to work with it shouldn’t be that big of a deal, it’s getting an RT kernel to work on the board if the board manufacturer didn’t supply it that can be a problem.

stock kernel 5.2 for rockpro64 has been released
git.kernel.org/pub/scm/linux/kernel/git/...x-rockchip.git/refs/
also real time patches
cdn.kernel.org/pub/linux/kernel/projects/rt/5.2/

I built the linux-stable-rt-4.19.31-rt18 kernel and installed it.
I downloaded the cyclictest suite and ran it several times. The average latency is 3 microseconds. Running it via ssh the max was 45 or 48 until I logged from a wireless keyboard and the HDMI video. I started X and LXQT during that startup, the max went to 58.

I just started it again with the -h option to produce a histogram, now the max is 62 and the average is 4.

Alan