Commands to burn a new IPL/Boot image for the EDOSK7780

io-pkt -d abc100 ioport=0x15800000,irq=6 -pttcpip if=en0:x.x.x.x
qconn (use to transfer new image to /dev/shmem)
devf-edosk7780 -s0x0,64M   (Overwrite the boot image in current bank)
flashctl -p/dev/fs0 -l2M -ev
cp -V fb.ifs /dev/fs0

Note: To burn the image in the other bank (i.e., not the bank used to boot), use the following instead:

devf-edosk7780 -s0x04000000,64M