Open Kernel Labs

Open Kernel Labs: Be open. Be safe.

  • Blog
  • Wiki
  • Community
  • GeekTV

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

    • Browse by Author:
      • Andreas Constantinou
      • Alysha Daytner
      • Ram Sarabu
      • Gernot Heiser
      • Benno Leslie
      • Robert C. McCammon
      • Steve Subar
      • Brenna Walters
      • Daniel Potts
      • Marti Konstant
      • Abi Nourai
      • Josh Matthews
      • Team OK

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

OK CommunityGet Answers:
OK Community

Open Kernel Labs Blog: Categories

2009

November

  • Fastest and most secure? In your dreams!

September

  • Seamless Integration Across OSes — Sounds familiar. . .

August

  • Why multicore needs virtualization
  • Type-1 vs Type-2 — Does it matter?

June

  • Competitor FUD: Device Drivers

May

  • Energy management for mobile devices done right

April

  • “There Were No Bugs!”

March

  • Virtualization: Some get it, some don’t
  • Microkernels 101
  • Living in the past

February

  • Benchmarks: How not to do them

2008

November

  • What does CC EAL6+ mean?

October

  • What does it mean that OKL4 is for embedded systems?
  • Why not use enterprise hypervisors for embedded systems?

September

  • Is there a difference between a virtual-machine monitor and a hypervisor?

August

  • Security by Obscurity - Alive and Well at the Competition
  • What are capabilities?
  • OKL4 teaching slides published

July

  • When does size matter?
  • Muddying waters
  • Are microkernels and hypervisors converging?

June

  • TCB size is measured in LOC, not kB

May

  • What is Secure HyperCell Technology?

April

  • Virtualization Hardware Support—What Does It Buy You?
  • About Security: Singularity vs L4, Part 2
  • Interview with Gernot Heiser at Linuxconf.au Featured on builder.au - Video
  • Microkernels vs hypervisors

March

  • High-performance IPC: ARM9 vs ARM11
  • Q: What is the difference between a microkernel?

February

  • Microkernel, nanokernel - what’s the difference?
  • Trusted vs trustworthy computer systems

▲ Back to Top

© Open Kernel Labs 2010. All Rights Reserved.

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

P - US +1 312 924 1445 - AU +61 2 8003 9900 | E - info@ok-labs.com

  • Careers
  • OK Alerts
  • Contact
  • Site Map
  • FAQ
  • Terms of Use
  • Privacy