Это пока не представляется возможным, но в списке рассылки GDB есть многообещающее обсуждение
здесь и здесь . В качестве альтернативы, может быть, вы могли бы попробовать следующее?
dump memory filename.bin start_addr end_addr
restore filename.bin binary start_addr
где вы заполняете start_addr и end_addr соответственно. Вы должны сохранить регистры вручную.