3 ms·
The developers of seL4 have been in funding hell for years. Most of their work was darpa research for remotely controlled drones. The US Military would very muc
by trissylegs 2y ago
The developers of seL4 have been in funding hell for years. Most of their work was darpa research for remotely controlled drones. The US Military would very much like drones that can't be hacked.
Their current work is on LionsOS which is more towards greater adoptions: https://lionsos.org/ https://lionsos.org/
- snvzz 2y ago>The developers of seL4 have been in funding hell for years. The actual story re: happenings in CSIRO is detailed in Gernot's blog[0], which is also quite interesting in its more technical posts. 0. https://microkerneldude.org/ https://microkerneldude.org/