Peter - Hi. Thanks for replying.

Hi Harish

...

...

...

...

...

"Harish" == Harish Pillay 9v1hp 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