Le système d'exploitation temps réel et hyperviseur PikeOS de Sysgo, destiné aux systèmes embarqués à contraintes de certification, prend désormais en charge les architectures fondées sur des cœurs de processeur RISC-V. Par l'intermédiaire de sa société mère Thales, Sysygo est l'un des membres fondateurs de la Fondation RISC-V....
- Système d'exploitation conçu pour les normes DO-178 C (avionique), CEI 62279 / EN 50128 (ferroviaire) ou ISO 26262 (automobile)
- OS fondé sur un noyau de séparation doté de la certification EAL3+ selon les Critères communs (pour la version 4.2.3 Build S5577)
- Prise en charge en parallèle de l’émulateur open source Qemu pour les architectures PikeOS/RISC-V
- Concept SSV (Safe and Secure Virtualization) pour la prise en charge d’architectures RISC-V multicœurs
- Modèle d'exécution allant d'un AMP (Asymmetric Multi-Processing) à un SMP (Symmetric Multi-Processing)