20 Sep
2015
20 Sep
'15
5:37 p.m.
Peter -
Hi. Thanks for replying.
Hi Harish
"Harish" == Harish Pillay 9v1hp h.pillay@ieee.org writes:
Harish> Hi. I came across seL4 yesterday and have not spent too much Harish> time on it. I have not found anything specific to my question Harish> in the FAQ yet, so I am posing it here: has the work done by Harish> seL4 been accepted upstream? If not, any reason why it has not Harish> been accepted yet?
seL4 *is* the upstream for this work -- the seL4 operating system is a new operating system in the L4 family; its code is not derived from any other operating system's code.
Great. Got it. As someone who uses SELinux a lot, I could not help by correlate SELinux to seL4, hence the question.
Thanks for clarifying.
Harish