How does FreeBSD boot on a machine that uses UEFI-compatible firmware? The handbook describes how boot0 starts the bootloading process on a machine that uses MBR to indicate partitions, and BIOS firmware. But it is not the case with most modern machines, and with mine too, hence the question.
The way I see it now is there are some efi-related files (like bootx64.efi on x86) shipped together with FreeBSD releases, which need to be put under the FAT/whatever else file system that is used as EFI System Partition, and it kind of has to work since then, but how? The handbook gives a very detailed explanation of how boot0 starts the whole system in case of BIOS/MBR, but I need to study this process in case of UEFI/GPT. Please point me at the source code related to my question, I think that would reside somewhere in stand/ directory in the source tree.
The way I see it now is there are some efi-related files (like bootx64.efi on x86) shipped together with FreeBSD releases, which need to be put under the FAT/whatever else file system that is used as EFI System Partition, and it kind of has to work since then, but how? The handbook gives a very detailed explanation of how boot0 starts the whole system in case of BIOS/MBR, but I need to study this process in case of UEFI/GPT. Please point me at the source code related to my question, I think that would reside somewhere in stand/ directory in the source tree.