Xen Project gets serious about safety in push to possibly partition robot brains

The Xen Project, home of the open-source hypervisor, has decided it’s time to get serious about formal safety. That’s not an admission of security woes, but a push to ensure the hypervisor complies with formal safety standards like IEC-61508, which defines the processes and practices used in software that runs in devices and settings that could conceivably harm humans. Xen has in recent years emphasized work to make its code more suitable to run in embedded workloads and devices like