-
The most widely deployed mobile virtualization solution
Data Sheets
What Gernot Heiser Has Been Saying
Automotive: The Next Frontier for Virtualization
Hey VMware: Secure It Ain’t!
Iggy in the Swedish Arctic
VMware MVP: What it really is
VMware’s MVP—Encryption Doesn’t Make It Secure!
Much Ado About Type-2
Fastest and most secure? In your dreams!
Seamless Integration Across OSes — Sounds familiar. . .
Why multicore needs virtualization
Type-1 vs Type-2 — Does it matter?
Context switching in context
The Motorola Evoke and what makes it tick
Competitor FUD: Device Drivers
Energy management for mobile devices done right
“There Were No Bugs!”
Virtualization: Some get it, some don’t
Microkernels 101
Living in the past
Benchmarks: How not to do them
What does CC EAL6+ mean?
OKers raise money for MS victims
What does it mean that OKL4 is for embedded systems?
Why not use enterprise hypervisors for embedded systems?
Is there a difference between a virtual-machine monitor and a hypervisor?
Security by Obscurity - Alive and Well at the Competition
What are capabilities?
OKL4 teaching slides published
Open-source virtualization & the right match for embedded Linux
When does size matter?
Muddying waters
Are microkernels and hypervisors converging?
TCB size is measured in LOC, not kB
What is Secure HyperCell Technology?
Virtualization Hardware Support—What Does It Buy You?
About Security: Singularity vs L4, Part 2
Microkernels vs hypervisors
High-performance IPC: ARM9 vs ARM11
Who is hacking your pacemaker? Or your brakes?
Q: What is the difference between a microkernel?
Microkernel, nanokernel - what’s the difference?
Trusted vs trustworthy computer systems
On-Demand Webinar: Gernot Heiser “Do Microkernels Suck?”
CTO Gernot Heiser’s “Virtualization - What Can it Do for You?” Featured in IQ Magazine
OS Co-Location is NOT Virtualization!
Ask Gernot - Gernot Heiser on his L4.verified presentation
Dreamliner security issue highlights need for bullet-proof OS technology
Do Microkernels Suck?