L4 Microkernel Family - Commercial Deployment

Commercial Deployment

In November 2005, NICTA announced 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 called Open Kernel Labs (OK Labs) to support commercial L4 users and further develop L4 for commercial use, in close collaboration with NICTA. OK Labs distributes its own version of L4, called OKL4, which is descended from NICTA::L4-embedded, and is supported for x86, ARM and MIPS. OKL4 was initially distributed under a BSD license. Recent releases use a dual licensing scheme with a Sleepycat-style open-source license. OK Labs also distributes a para-virtualized Linux called OK:Linux, a descendant of Wombat, as well paravirtualized versions of SymbianOS, Android and Windows.

In April 2008, OK Labs released OKL4 2.1, which is the first public version of L4 using capability-based protection. OKL4 3.0 was released in October 2008.

Read more about this topic:  L4 Microkernel Family

Famous quotes containing the word commercial:

    If men could menstruate ... clearly, menstruation would become an enviable, boast-worthy, masculine event: Men would brag about how long and how much.... Sanitary supplies would be federally funded and free. Of course, some men would still pay for the prestige of such commercial brands as Paul Newman Tampons, Muhammed Ali’s Rope-a-Dope Pads, John Wayne Maxi Pads, and Joe Namath Jock Shields—”For Those Light Bachelor Days.”
    Gloria Steinem (b. 1934)