Will openocd work with an ARM946e-s core? If so, is there a config file that can be used with this device?
Thanks,
-gene