News for hackers. Stuff that matters.

A comment on Google is officially releasing Fuchsia OS, starting with a first-gen Nest Hub. Parent comment

Re:Google is officially releasing Fuchsia OS, starting with ... by loudmax on Tuesday May 25, 2021 @09:51AM (#27276735)
There is seL4: 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.

[ Parent | on HN ]
Re:Google is officially releasing Fuchsia OS, starting with ... by sanxiyn on Tuesday May 25, 2021 @10:25AM (#27277145)
Sadly CSIRO axed entire seL4 team, "to focus on AI".
[ Parent | on HN ]
Re:Google is officially releasing Fuchsia OS, starting with ... by snvzz on Tuesday May 25, 2021 @03:49PM (#27281660)
Sadly yes, but it only happened after seL4 Foundation[0] was established, and thus seL4 became independent from CSIRO.

[0]: https://sel4.systems/

[ Parent | on HN ]