Free RTOS on XEN for rasberry PI4

Kernel
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.