Hacker News new | ask | show | jobs
by flo123456 1853 days ago
There is also Cyberus Technology which develops Hedron, yet another L4-based microkernel and ships that as part of a secure workstation targeted at the german government market.

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