how do you boot freebsd-ia64 from disk?

[Kendall Shaw]

I got no answer on the ia64 list after several weeks, so I'm asking
here.

I seem to have successfully installed freebsd on my itanium hp-i2000
machine, but I don't know how to cause it to boot from disk.

In the boot options menu I tried adding loader.efi to the boot menu, but
when I select it it says the file does not exist. Do you know what I
need to do? Or is it maybe not implemented?

Kendall