MacMusic  |  PcMusic  |  440 Software  |  440 Forums  |  440TV  |  Zicos
project
Recherche

CSIRO's seL4 project shut down

vendredi 21 mai 2021, 19:13 , par LWN.net
In 2018, LWN covered a talk by Gernot
Heiser about the seL4 project, which has developed an open-source
operating system for safety-critical applications and gone to the trouble
of proving its correctness. Much of that work has been done at CSIRO in
Australia. Heiser has announced
via Twitter that CSIRO's support for this project is being shut down, with
the staff being
redirected to artificial-intelligence projects. Hopefully the seL4 Foundation, established in
2020, will be able to carry on this interesting work.
https://lwn.net/Articles/856934/rss
News copyright owned by their original publishers | Copyright © 2004 - 2024 Zicos / 440Network
Date Actuelle
jeu. 2 mai - 01:05 CEST