[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.