$ RUN SYS$SYSTEM:EFI$CP
 EFI$CP> initialize sys$common:[sys$ldr]sys$efi.tmp -
   /device_alias=efi:/create/size=256000/contiguous -
   vmsefi /nolog
 EFI$CP> mount sys$common:[sys$ldr]sys$efi.tmp -
   /device_alias=efi: vmsefi
 %EFI-I-SEEKMBR, searching for Master Boot Record
 %EFI-I-ONEPART, single-
 partition volume; no Master Boot Record partitioning
 %EFI-I-SEEKBPB, searching for BIOS Parameter Block
 %EFI-I-SEEKBPBOK, valid BIOS Parameter Block detected
 %EFI-I-MOUNTED, FAT volume VMSEFI has been mounted
 -EFI-I-NOPARTITION, the target volume is not partitioned
 EFI$CP> CREATE/DIRECTORY EFI:\EFI\
 EFI$CP> CREATE/DIRECTORY EFI:\EFI\VMS\
 EFI$CP> COPY VMS_LOADER.EFI EFI:\EFI\VMS\
 EFI$CP> COPY IPB.EXE EFI:\EFI\VMS\
 EFI$CP> DISMOUNT EFI:
 EFI$CP> EXIT
 $ SET FILE/NOMOVE SYS$COMMON:[SYS$LDR]SYS$EFI.TMP
 $ SET BOOTBLOCK SYS$SYSDEVICE:/I64