gdb can now read spike memory.