Free RTOS on XEN for rasberry PI4

Kernel
1

Hi

I am trying to port free rtos on Xen for rasberry pi4.
please suggest me how i can proceed further.

thanks

2

Hi dega,

There are some community supported raspberry Pi 4 ports for your reference in this thread, but I haven’t tried them. You may need to look at these ports to use of them.