sdk-debugger-openocd-raspberry-pico/share/openocd/scripts/cpu/arm/arm920.tcl

set CPU_TYPE   arm
set CPU_NAME   arm920
set CPU_ARCH   armv4t
set CPU_MAX_ADDRESS 0xFFFFFFFF
set CPU_NBITS  32