I tried to read the wiki article on PikeOS, but apparently it too is a written ad seemingly from sysgo. Anyone with any knowledge and not their marketing department to key us in? I'd welcome words from people there who are not in marketing.
> PikeOS (version 5.1.3), which is security-certified against Common Criteria at the EAL 5+ level
and
> PikeOS is also pre-certified against many industry software safety standards such as DO-178C for avionics, EN 50128 and EN 50657 for rail, ISO 26262 for automotive, EN 61508 for industrial and IEC 62304 for medical.
Which seems like a fairly objective description of what it is and what its goals are.
5 comments
[ 22.7 ms ] story [ 1141 ms ] thread> PikeOS (version 5.1.3), which is security-certified against Common Criteria at the EAL 5+ level
and
> PikeOS is also pre-certified against many industry software safety standards such as DO-178C for avionics, EN 50128 and EN 50657 for rail, ISO 26262 for automotive, EN 61508 for industrial and IEC 62304 for medical.
Which seems like a fairly objective description of what it is and what its goals are.
Open source variants include the more well-known seL4 [3] and L4Re [4].
The L4 family is known for formal verification of significant parts of the system, and is used in safety-critical systems [5].
Google recently announced a system based on seL4 [6].
[1] https://sigops.org/s/conferences/sosp/2013/papers/p133-elphi...
[2] https://docs.sel4.systems/projects/sel4/frequently-asked-que...
[3] https://github.com/seL4/seL4
[4] https://github.com/kernkonzept/l4re-core
[5] https://www.youtube.com/watch?v=ijTTZgQ8cB4
[6] https://opensource.googleblog.com/2022/10/announcing-kataos-...