i did, firefly, kernel is 4.4, xenomai 3.1, ipipe 4.9, backported manually.
Song On 2021年03月26日 00:00, Zhao, Lixiang via Xenomai wrote:
Hi, I would like to patch a board with a Rockchip RK3399 SoC with Xenomai v3.1, I'm unsure if this SoC is supported, could you help me find it out ? Best regards, Li.
