Install FreeBSD/ia64 on HP zx6000?

[James R. Van Artsdalen]

Marcel Moolenaar wrote:

>>Most install attempts failed with "device full" errors.
>>    
>>
>
>Can you give a description of what you did?
>
>  
>
I will go back and document this, but let me try to get this disk booted 
first.

>>Now what?  EFI seems generally clueless about booting so I assume I have 
>>to manually boot the kernel.  What do I do to get EFI to load FreeBSD?
>>    
>>
>
>Add /boot/loader.efi to the boot menu.
>
>  
>
In "Boot Option Maintenance Menu", there is a "Boot from a File" 
option.  That shows:

    NO VOLUME LABEL [Acpi(HWP0002,0)/Pci(2|0)/Ata(Primary,Master)/CD
    NO VOLUME LABEL [Acpi(HWP0002,100)/Pci(1|0)/Scsi(Pun0,Lun0)/HD(P
    NO VOLUME LABEL [Acpi(HWP0002,100)/Pci(1|0)/Scsi(Pun0,Lun0)/HD(P
    Removable Media Boot [Acpi(HWP0002,0)/Pci(2|0)/Ata(Primary,Maste
    Load File [EFI Shell [Built-in]]                               
    Load File [Acpi(HWP0002,0)/Pci(3|0)/Mac(00306E4C7BDD)]         
    Load File [Acpi(HWP0002,100)/Pci(2|0)/Mac(00306E4C7ACA)]       

The first "Scsi" selection may correspond to an older disk, since 
removed?  There is no boot/loader.efi in any case.

The second "Scsi" selection has no choices at all: it just says:

       [Treat like Removable Media Boot]

If boot/loader.efi is supposed to be something I can find from the EFI 
shell with "ls -r fsN:" then there's a problem since I can't find the 
file anywhere.