lets see how much I get right here, NICTA was the australian government side, OK Labs was private company that spun out of it. Some early versions of OKL4 wer

lets see how much I get right here, NICTA was the australian government side, OK Labs was private company that spun out of it. Some early versions of OKL4 were opensource and based on code from NICTA(&others) but there was an internal rewrite that was OK Labs proprietary-only seL4 is yet another entirely separate codebase, written by NICTA, but where the copyright was given to OK Labs by NICTA.