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
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.
Peter C
-- Dr Peter Chubb peter DOT chubb AT nicta.com.au http://www.ssrg.nicta.com.au Software Systems Research at NICTA
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