I understand that when a Mac's EFI system runs, it locates the file
boot.efi in the
blessed) directory and runs this as an EFI application (subverting a large part of the UEFI specification if my understanding is correct).
My question is: what does this EFI application actually do on 10.8.4? I figure it must locate the kernel, pass through boot arguments, locate KEXTs, etc, but that is just my speculation. Is there anywhere I can find out what it does (ideally step-by-step) from a concrete source?