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

Multiprocessing (SMP and SMT) Internals in OKL4

How OKL4 differentiates between SMP and SMT machines, and how we can take advantage of processor topology

More How To Videos

  • Gernot Heiser Discusses the ‘Perfect” Microkernel

    Gernot Heiser Discusses the ‘Perfect” Microkernel

  • About Open Kernel Labs with Gernot Heiser

    About Open Kernel Labs with Gernot Heiser

  • OKL4 2.1 vs. KVM

    OKL4 2.1 vs. KVM

  • OKL4 Driver Model

    OKL4 Driver Model

▲ Back to Top