Question about upstream
20 Sep
2015
20 Sep
'15
1:01 p.m.
Hi. I came across seL4 yesterday and have not spent too much time on it. I have not found anything specific to my question in the FAQ yet, so I am posing it here: has the work done by seL4 been accepted upstream? If not, any reason why it has not been accepted yet? Thanks. Harish
3839
Age (days ago)
3839
Last active (days ago)
2 comments
2 participants
participants (2)
-
Harish Pillay 9v1hp -
Peter Chubb