PikeOS
Ett realtidsoperativsystem och en hypervisor i samma kärna, byggt för att låta säkerhetskritisk och vanlig programvara dela processor utan att störa varandra.
PikeOS kommer från tyska SYSGO, som köptes av Thales 2012. Kärnan är en separationskärna i mikrokärnetraditionen från L4: den gör väldigt lite själv, men isolerar partitioner i både minne och tid. I varje partition kan en egen "personlighet" köras — ett ARINC 653-API, POSIX, en Linuxgäst eller ett annat RTOS.
Poängen är certifiering. Att bevisa att en hel Linuxinstallation är felfri är omöjligt; att bevisa att den inte kan påverka partitionen bredvid är överkomligt. PikeOS är certifierat enligt bland annat DO-178C för flyg, EN 50128 för järnväg och ISO 26262 för fordon, och används i flygelektronik, tåg och försvarssystem.