l4-hurd
[
Top
][
All Lists
]
Advanced
[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]
GNU Hurd on SeL4
,
Vincent Weisner
<=
Index(es):
Date
Thread