[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

GNU Hurd on SeL4

From: Vincent Weisner
Subject: GNU Hurd on SeL4
Date: Fri, 24 Nov 2017 17:03:38 -0500

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?

reply via email to

[Prev in Thread] Current Thread [Next in Thread]