Editing L4 microkernel family (section)

== Commercial deployment ==
In November 2005, [[NICTA]] announced<ref>
{{cite press release
 | title = NICTA L4 Microkernel to be Utilised in Select QUALCOMM Chipset Solutions
 | url = http://www.nicta.com.au/director/mediacentre/media_releases_2005.cfm?viewArticle=true&item_id=2563&startrow=1
 | url-status = dead
 | publisher = [[NICTA]]
 | date = 24 November 2005
 | archive-url = https://web.archive.org/web/20060825225104/http://www.nicta.com.au/director/mediacentre/media_releases_2005.cfm?viewArticle=true&item_id=2563&startrow=1
 | archive-date = 25 August 2006
}}</ref> that [[Qualcomm]] was deploying NICTA's L4 version on their ''[[Mobile Station Modem]]'' chipsets. This led to the use of L4 in [[mobile phone]] handsets on sale from late 2006. In August 2006, ERTOS leader and UNSW professor [[Gernot Heiser]] spun out a company named [[Open Kernel Labs]] (OK Labs) to support commercial L4 users and further develop L4 for commercial use under the brand name ''OKL4'', in close collaboration with NICTA. ''OKL4 μKernel'' Version 2.1, released in April 2008, was the first [[general availability|generally available]] version of L4 which featured [[capability-based security]]. OKL4 μKernel 3.0, released in October 2008, was the last open-source version of OKL4 μKernel. More recent versions are closed source and based on a rewrite to support a native hypervisor variant named the ''OKL4 Microvisor''. OK Labs also distributed a paravirtualized Linux named OK:Linux, a descendant of Wombat, and paravirtualized versions of [[SymbianOS]] and [[Android (operating system)|Android]]. OK Labs also acquired the rights to ''seL4'' from NICTA.

OKL4 shipments exceeded 1.5 billion in early 2012,<ref name=OKL_PR /> mostly on Qualcomm wireless modem chips. Other deployments include [[automotive infotainment]] systems.<ref name=OKL_PR_auto>
{{cite press release
 |title=Open Kernel Labs Automotive Virtualization Selected by Bosch for Infotainment Systems
 |url=http://www.ok-labs.com/releases/release/ok-labs-automotive-virtualization-selected-by-bosch-forinfotainment-systems
 |date=27 March 2012 
 |publisher=[[Open Kernel Labs]]
 |url-status=dead
 |archive-url=https://web.archive.org/web/20120702191648/http://www.ok-labs.com/releases/release/ok-labs-automotive-virtualization-selected-by-bosch-forinfotainment-systems
 |archive-date=2 July 2012
}}</ref>

[[Apple A series]] processors beginning with the [[Apple A7|A7]] contain a Secure Enclave [[coprocessor]] running an L4 operating system<ref>{{cite web|title=iOS Security, iOS 12.3|url=https://www.apple.com/tr/business/docs/site/iOS_Security_Guide.pdf |archive-url=https://web.archive.org/web/20200624043752/https://www.apple.com/tr/business/docs/site/iOS_Security_Guide.pdf |archive-date=2020-06-24 |url-status=live|publisher=Apple Inc.|date=May 2019}}</ref> called sepOS (Secure Enclave Processor OS)
based on the L4-embedded kernel developed at [[NICTA]] in 2006.<ref>
{{cite conference
 |last1=Mandt |first1=Tarjei
 |last2=Solnik |first2=Mathew
 |last3=Wang |first3=David
 |title = Demystifying the Secure Enclave Processor
 |url = https://www.blackhat.com/docs/us-16/materials/us-16-Mandt-Demystifying-The-Secure-Enclave-Processor.pdf
 |book-title = BlackHat USA
 |date = 31 July 2016
 |location = Las Vegas, Nevada, USA
 |url-status = live
 |archive-url = https://web.archive.org/web/20161021193045/https://www.blackhat.com/docs/us-16/materials/us-16-Mandt-Demystifying-The-Secure-Enclave-Processor.pdf
 |archive-date = 21 October 2016
}}</ref>
As a result, L4 ships on all modern Apple devices including Macs with [[Apple silicon]]. In 2015 alone, total shipments of iPhone was estimated at 310 million.<ref>
{{cite news
 |last=Elmer-DeWitt 
 |first=Philip 
 |date=28 October 2014 
 |title=Forecast: Apple will ship 310 million iOS devices in 2015 
 |url=http://fortune.com/2014/10/28/forecast-apple-will-ship-310-million-ios-devices-in-2015 
 |url-status=live
 |magazine=[[Fortune (magazine)|Fortune]] 
 |archive-url=https://web.archive.org/web/20150927083455/http://fortune.com/2014/10/28/forecast-apple-will-ship-310-million-ios-devices-in-2015/
 |archive-date=27 September 2015
 |access-date=25 October 2015 
}}</ref>