[monocasa]

Eh, stuff like older vxworks plays loose and fast with the term microkernel that wouldn't fly today. I don't even think they try to claim that it is one anymore until their most recent release where they actually added (optional) process isolation.

[pjmlp]

I was thinking more of INTEGRITY OS and similar high integrity computing OSes.

[monocasa]

You said "all major OSes were human lives are at risk".

INTEGRITY is a fairly minor player.

[pjmlp]

Not when human lives are at risk.

[monocasa]

Yes, when human lives are at risk.

Unless you want to give a citation about it's market share.

[pjmlp]

It goes both ways.

[monocasa]

You made the claim first, back it up.