I notice that eg. read_memory() takes address as a uint32_t. Does OpenOCD support 64-bit address spaces? Are there plans to support it? Tim
View entire thread