Open Kernel Labs

Open Kernel Labs: Be open. Be safe.

  • Blog
  • Wiki
  • Community
  • GeekTV
  • Twitter
  • Facebook

Open Kernel Labs

  • Home
  • About -
  • Why OK Labs
  • Solutions
  • Products
  • Partners
  • Markets

  • Community

  • Community Portal
  • Developer Wiki
  • Alerts Signup
  • Developer's Mailing List Signup
  • OK GeekTV

  • Company Blog

How many more customers could you reach with a mass-market smartphone?

  • The most widely deployed mobile virtualization solution

    Learn more »

Products

See all »

  • OKL4 Microvisor
  • OK:Linux
  • OK:Android
  • OK:Symbian
  • OK:Windows

Solutions

See all »

  • What is Mobile Virtualization
  • Lower-cost Phone
  • Quicker Development

Data Sheets

  • Company Facts
  • Technology Facts
  • Professional Services
  • Mass-Market Smartphone
  • SecureIT Mobile Apps
  • SecureIT Mobile Comms

OK CommunityGet Answers:
OK Community

About Open Kernel Labs with Gernot Heiser

February 25, 2009: What makes OKL4 Different? What are Capabilities? What is Formal Verification? and more . . .

More How To Videos

  • Gernot Heiser Discusses the ‘Perfect” Microkernel

    Gernot Heiser Discusses the ‘Perfect” Microkernel

  • OKL4 2.1 vs. KVM

    OKL4 2.1 vs. KVM

  • OKL4 Driver Model

    OKL4 Driver Model

  • OK Linux in OKL4 Architecture

    OK Linux in OKL4 Architecture

▲ Back to Top