5 ms·

There is no other micro kernel OS being developed with similar effort.

• zibzab 5y ago
  https://www.linuxfoundation.org/en/blog/the-power-of-zephyr-rtos/ https://www.linuxfoundation.org/en/blog/the-power-of-zephyr-...
• gpderetta 5y ago
  GNU Hurd will be released any time now!
  • 3v1n0 5y ago
    /s?
    • gpderetta 5y ago
      Nooo, completely serious! /s
• loudmax 5y ago
  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/