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
3855
Age (days ago)
3855
Last active (days ago)
2 comments
2 participants
participants (2)
-
Harish Pillay 9v1hp -
Peter Chubb