From io-mapper perspective on verifying GPIO config, is the read-back accurate? The idea is to 1. load the pin configuration 2. read a target register: e.g., mprj_io[x] 3. in executable code, jump to that value read from the register The value would be visible on the address requested from the core for execution. The intent is to determine the true value latched in the pin config register. This exercise would verify the value latched in the specified mprj_io reg. @User @User