GNU Hurd on SeL4

--001a1140a69a961f50055ec1b9a7
Content-Type: text/plain; charset="UTF-8"

Over the years, the community has talked about porting GNU Hurd to L4 and
mentioned SeL4 a while back.
I found it on the Free Software Directory at
https://directory.fsf.org/wiki/SeL4.
It could mean a revival of Hurd for L4?

--001a1140a69a961f50055ec1b9a7
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div><div><div>Over the years, the community has talked ab=
out porting GNU Hurd to L4 and mentioned SeL4 a while back.<br></div></div>=
I found it on the Free Software Directory at <a href=3D"https://directory.f=
sf.org/wiki/SeL4">https://directory.fsf.org/wiki/SeL4</a>.</div><div>It cou=
ld mean a revival of Hurd for L4?<br></div></div>

--001a1140a69a961f50055ec1b9a7--