Intel también ha publicado el núcleo de EFI bajo una licencia BSD-compatible.