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. Peter C -- Dr Peter Chubb peter DOT chubb AT nicta.com.au http://www.ssrg.nicta.com.au Software Systems Research at NICTA _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
