OK Labs also acquired the rights to seL4 from NICTA.
OK LabはNICTAからseL4の権利も取得した。