@de i've dumped it via openocd before(i could also just dump the flash, but the code disassembles to a perfectly sensible reset handler, so...)