Hacker News Reader

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.

Sadly CSIRO axed entire seL4 team, "to focus on AI".

Sadly yes, but it only happened after seL4 Foundation[0] was established, and thus seL4 became independent from CSIRO.

GNU Hurd will be released any time now!

/s?

Nooo, completely serious!

/s