Este documento describe varias herramientas de software que pueden virtualizar hardware para permitir que varios sistemas operativos lo compartan, incluyendo Adeos que carga un núcleo en tiempo real como módulo de Linux, Denali que usa paravirtualización para máquinas virtuales de alto rendimiento en x86, y OKL4 que usa L4 como un hypervisor para virtualización en sistemas embebidos.