La paravirtualización es una técnica de programación informática que permite virtualizar por software sistemas operativos.
La paravirtualización provee filtros especialmente definidos para permitir a los invitados y al anfitrión hacer peticiones y conocer estas tareas, que de otro modo serían ejecutadas en el dominio virtual (donde el rendimiento de la ejecución es peor.)
La paravirtualización requiere que el sistema operativo invitado sea portado de manera explícita para la API.
el sistema operativo VM de IBM ha ofrecido tales características desde 1972 (y antes como CP-67).
El término también es usado para describir los hipervisores Xen, L4, TRANGO, VMware, Wind River y XtratuM.