3 ms·
Still waiting for GNU hurd.
by 77pt77 8y ago
Still waiting for GNU hurd.
- htor 8y agognu hurd was released in 2015, but very few people are working on it i'm afraid. https://www.gnu.org/software/hurd/news/2015-04-29-debian_gnu_hurd_2015.html https://www.gnu.org/software/hurd/news/2015-04-29-debian_gnu...
- xj9 8y agohurd isn't even interesting. seL4 is faster, has production applications, and is formally verified. you can even use seL4 as a base platform in genode[0]. [0]: https://genode.org/documentation/platforms/index https://genode.org/documentation/platforms/index