top | item 43459695

(no title)

trissylegs | 11 months 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/

discuss

snvzz|11 months 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/