realtime OS on nanopi M4

[MaurizioSantovito]

Hi all in the forum
Is it possible to build a realtime kernel which runs on the RK3399 nanopi M4 platform?
If it is, where may I find instructions on how to do that?
Thanks
Maurizio

[igorp]

Hi all in the forum
Is it possible to build a realtime kernel which runs on the RK3399 nanopi M4 platform?
If it is, where may I find instructions on how to do that?
Thanks
Maurizio

I haven't try but its possible. With https://github.com/armbian/build Add proper patch set from https://cdn.kernel.org/pub/linux/kernel/projects/rt/ to userpatches/rk3399-default or userpatches/rockchip64-dev Adjust merge discrepancies, build and you are ready to go ...