PikeOS

PikeOS est un système d'exploitation temps réel (en anglais : RTOS) basé sur un noyau de séparation offrant une fonctionnalité d’hyperviseur avec plusieurs types de partition pour d'autres systèmes d'exploitation (appelés en anglais : Guest OS) et applications…