>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.

Genode is more an "OS construction kit" than an OS, isn't it?

	▲	aidenn0 4 days ago \| parent \| next [-]
		Yes; but the project includes "Sculpt" which is more of an OS. https://genode.org/download/sculpt
	▲	snvzz 4 days ago \| parent \| prev [-]
		It has a distribution, Sculpt[0]. Many stories around using Genode in the Genodians[1] blog. 0. https://genode.org/download/sculpt 1. https://genodians.org/

thanks, I hadn't heard of Genode, this looks really cool