I think that the stellaris configuration is for the on-board ICDI which is accessible over the board's serial port. I'm experimenting with using an external one. There are alot of good examples in that folder though. I might start with the stellaris one, then see what else I can do. I don't know much about openocd, I'm mainly just experimenting to see what I can get to work. Thanks for your help -- this should definitely have been a forum post instead, I'll followup there if I have any actual qu...
Ah, thanks! I don't see a target config for this chip, but I think I can figure that out. This ticket can probably be closed, but I don't see a button that lets me do that.
invalid command name "hla_layout"