+ disk/format -b /n/src9/386/pbs -xd -t hard $disk/esp
+ s = esp.$pid
+ dossrv -f $disk/esp $s
+ mount -c /srv/$s /n/esp
+ cp /n/src9/386/9boothyb /n/esp/9bootfat
+ mkdir /n/esp/efi
+ mkdir /n/esp/efi/boot
+ cp /n/src9/386/boot*.efi /n/esp/efi/boot
+ unmount /n/esp
+ rm -f /srv/$s