Q: looking up 'kernel' on loader.efi of arm64

[Jaemin Yoo]

Thanks for the help from Andrew. I could execute loader.efi for arm64
from efi loader of my board(x-gene). Now the problem is loader can't
find 'kernel'.

loader.efi is located at part1 disk. The disk is usb removable one and
formatted as fat32 since x-gene efi loader requires it.

I have some questions...

1) What's the scheme for looking up 'kernel' from loader.efi?
2) Is there any restriction for looking up 'kernel'?

Thanks,
Jaemin

== Here is log for efi loading.. ==

Start: 2
Consoles: EFI console
Image base: 0x43fa93a000
EFI version: 2.40
EFI Firmware: X-Gene Mustang Board EFI Aug 25 2014 14:20:27 (rev 0.00)

FreeBSD/arm64 EFI loader, Revision 1.0
(jmin at maui, Thu Oct  9 22:03:51 KST 2014)

can't load 'kernel'

~~~~~~~~~~~~~~~~~~~~~~

OK show
console=efi
currdev=part1:
interpret=OK
loaddev=part1:
prompt=${interpret}
OK load kernel
load: can't find 'kernel'
OK lsdev
part devices:
    part0:    976771120 blocks          <=== SATA
    part1:    248799 blocks (removable) <=== USB (here is kernel)
net devices:
    net0:
simplefs? devices:
efisfs_print