Hacker News new | ask | show | jobs
by snvzz 3234 days ago
Look into http://www.microkernel.info/

Note one of these doesn't belong (hurd), as unlike everything else, it is first gen and effectively dead.

1 comments

Can you say why it is effectively dead? I see a recent-ish release:

http://www.gnu.org/software/hurd/news/2016-12-18-releases.ht...

It has about 0 developers on any given time, with the occassional work being done. There's been no real (fundamental) progress on it for over a decade. The issues in the hurd critique paper haven't been addressed. The L4 port failed.
Without knowing much, GNU Hurd has been in development for ages, yet is pretty far behind everything else out there in terms of usability. I think it is still active (remember a recent HN post), but it's progress is seen as being slow.