Why is there no information on the official website about the Hurd port to L4 (Hurd/L4)?
{OK} There is an ongoing effort to port the Hurd to the L4 microkernel family. This will take time and the port is not in a releasable state — this is why there is no information about the L4 port on the website for the Hurd project