“Vanilla Mac OS X kernel”: el kernel (nucleo del sistema operativo) original de Mac OS X, sin modificar. Con él se pueden instalar “vanilla kernel extensions”

“Kernel extensions” es el nombre que se le da a los controladores de dispositivos.

PC-EFI es un cargador de arranque que permite que el kernel vanilla de Mac OS Xfuncionar en hardware que no es de Apple. Gracias netkas.