Pharos
RTOS for Secure, Safe and Real-Time Systems
...
- Prioritized nested interrupts
- inter-partition communication with filters to protect unwanted access
- Multicore support (RMP)
- Supports ARM9, Cortex-A/R/M and Aarch64, RISC-V64 (64 bits)
- The complete TestSuite (see below information) is run successfully for each platform in each release
- Tested: more than 170 KLOC of requirement-based tests, executed for each board at each release
- Up-to-date User Manual also available
See our wiki page for more information.