hurd 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]:

hurd 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