7 paravirtualized RTOS guests
RMP, FreeRTOS, uC/OS-II, uC/OS-III, RT-Thread, DjyOS and KLite run as unprivileged RVM guests. The ports are drop-in overlays — official kernel files are never modified.
Guest support matrix
Paravirtualize the RTOS you already use. Run 64 virtual machines on 1 MB of SRAM, with capability-based isolation, on real embedded hardware.
