2 ms·
>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 inte
by 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/