If anyone cares, I think the way to dump the code is something like this (addresses will depend on device): after "halt" from OPENOCD type dump_image ffff0000.

If anyone cares, I think the way to dump the code is something like this (addresses will depend on device): after "halt" from OPENOCD type dump_image ffff0000.bin 0xffff0000 0x10000