|
|
|
|
|
|
by trissylegs
455 days 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/ |
|
|
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/