Free RTOS on XEN for rasberry PI4


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


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.