https://en.m.wikipedia.org/wiki/Burroughs_large_systems
Nowadays still being sold to governments that care about security.
https://itupdate.com.au/page/unisys-clearpath-mcp-unsurpasse...
https://www.unisys.com/ms/client-education/course-catalog/cl...
Or maybe 1983?
https://en.m.wikipedia.org/wiki/Rational_R1000
Maybe 1982,
https://news.ycombinator.com/item?id=22375449
Plenty of examples (those are a tiny snippet) on how safe OSes should be written, until there is liability the easiest way will always win.
https://en.m.wikipedia.org/wiki/Burroughs_large_systems
Nowadays still being sold to governments that care about security.
https://itupdate.com.au/page/unisys-clearpath-mcp-unsurpasse...
https://www.unisys.com/ms/client-education/course-catalog/cl...
Or maybe 1983?
https://en.m.wikipedia.org/wiki/Rational_R1000
Maybe 1982,
https://news.ycombinator.com/item?id=22375449
Plenty of examples (those are a tiny snippet) on how safe OSes should be written, until there is liability the easiest way will always win.