CSIRO's seL4 project shut down

In 2018, LWN covered a talk by GernotHeiser about the seL4 project, which has developed an open-sourceoperating system for safety-critical applications and gone to the troubleof proving its correctness. Much of that work has been done at CSIRO inAustralia. Heiser has announcedvia Twitter that CSIRO's support for this project is being shut down, withthe staff being redirected to artificial-intelligence projects. Hopefully the seL4 Foundation, established in2020, will be able to carry on this interesting work.