A collection of gdb python scripts used for debugging ARM code.