[SystemSafety] State of the art for "safe Linux"

[David Crocker]

On 2024-08-10 09:43, Paul Sherwood wrote:
> I would be surprised to see anyone considering use of MS Windows in a 
> safety-relevant system. Has Microsoft achieved (or even attempted) any 
> certification for that? 


Here's a very old example: 
https://www.theregister.com/2007/02/26/windows_boxes_at_sea/.

-- 
David Crocker
+44 7977 211486