Peter - Hi. Thanks for replying.
> Hi Harish >>>>>> "Harish" == Harish Pillay 9v1hp <[email protected]> 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 _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
