3 ms·
>It would be cool to have a Hurd project with a verified microkernel like seL4. There's Genode[0]. Relative to the hurd, its design is much more advanced and i
by snvzz 1y ago
>It would be cool to have a Hurd project with a verified microkernel like seL4.
There's Genode[0]. Relative to the hurd, its design is much more advanced and it supports a range of modern microkernels including seL4.
0. https://genode.org/ https://genode.org/
- ants_everywhere 1y agothanks, I hadn't heard of Genode, this looks really cool
- cmrdporcupine 1y agoGenode is more an "OS construction kit" than an OS, isn't it?
- aidenn0 1y agoYes; but the project includes "Sculpt" which is more of an OS. https://genode.org/download/sculpt https://genode.org/download/sculpt
- snvzz 1y agoIt has a distribution, Sculpt[0]. Many stories around using Genode in the Genodians[1] blog. 0. https://genode.org/download/sculpt https://genode.org/download/sculpt 1. https://genodians.org/ https://genodians.org/