3 ms·

There is seL4: https://sel4.systems/ https://sel4.systems/ The resources going into seL4 appear to be nowhere near "similar effort" to what Google is putting i

There is seL4: https://sel4.systems/ https://sel4.systems/ The resources going into seL4 appear to be nowhere near "similar effort" to what Google is putting into Fuchsia, but it is a legitimate alternative.

sanxiyn 5y ago
Sadly CSIRO axed entire seL4 team, "to focus on AI".
- snvzz 5y ago
  Sadly yes, but it only happened after seL4 Foundation[0] was established, and thus seL4 became independent from CSIRO. [0]: https://sel4.systems/ https://sel4.systems/