Hurd-on-L4 was a flop. Fuscha went a completely different direction with dissimilar communication primitives.
From the outside, L4 looks like a perfect example of a line of academic research that has no industrial relevance.
Hurd-on-L4 was a flop. Fuscha went a completely different direction with dissimilar communication primitives.
From the outside, L4 looks like a perfect example of a line of academic research that has no industrial relevance.
Companies like Hensoldt Cyber (https://hensoldt-cyber.com - Gernot Heiser is involved in this) but also SYSGO with PikeOS (an independently developed L4-family microkernel - https://www.sysgo.com), Kernkonzept (https://www.kernkonzept.com) or Genode Labs (https://genode.org) have successfully used and deployed L4-based systems with many customers from industry. Yes, this is again very much focused on Germany, but that's also where a lot of the research was done.
Fuchsia at Google is probably a result of the "not-invented-here" syndrome that seems to be popular at Google. I haven't taken a closer look at the system but would certainly be interested in reading about the differences to an L4-based microkernel.
And Hurd-on-L4 is certainly coming next year ;-) (or a bit later, due to Corona or so...).
There’s quite a community that has taken the research to successful industry applications over here in Dresden, Germany. :-)
If you’re interested in some of the stories behind the technology I can recommend the Syslog Podcast at https://syslog.show