Blog entries from Gernot Heiser

• 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?

Back To Top