Hi,
Attached is a patch to add support for ARMv7M devices.
The patch is bigger than it really is due to the signature change to
arm_pc_is_thumb.
Here are some highlights:
- arm_pc_is_thumb always returns 1 if the target is an ARMv7M device.
- arm_write_pc is adjusted so that it will set the Thumb bit in XPSR
for an ARMv7M device. Note that the position of Thumb bit in the
status register is different between ARMv7M devices and older
devices.
- arm_gdbarch_init looks for "org.gnu.gdb.arm.core-v7m".