Este kernel usa varias técnicas como el parcheo binario que aseguran que el impacto en el rendimiento cuando se ejecuta en hardware simple es efectivamente incomparable cuando se compara con un kernel "no-paravirt_ops".