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