FreeBSD 12 for ARM comes with EFI/BOOT/bootarm.efi on FAT partition. It works fine with the main line u-boot, which is great.
However, it's very critical to FDT (.dtb*) files, if doesn't like it, it gets stuck atKernel entry at 0x...
....
relocation_offset 0We have device tree sources (.dts...