Às vezes eu gosto de estudar unix boot, desta vez é HPUX em EFI.
Como eu sei, o procedimento de inicialização é
EFI-PARTITION->startup.nsh->hpux-bootmanager->AUTO(FILE)->
KERNEL->PREINITRC->SWAPPER/INIT->GETTY-SHELL
Está correto? Ou você tem uma ideia / descrição melhor?