After some weeks of googling I managed to get a gnu-arm-none-eabi toolchain running under OSX. I can now flash a small binary (blinky.bin) from the Stellaris-Ware examples to the lm3s9b92 (Luminary Micro ICDI Eval-Board) using openocd (0.4.0) and its working. However, when I try to flash a more complex example (hello.bin) I get a segmentation fault while flashing.

My openocd.cfg for both examples is as follows (and works for the blinky example)

After some googling I came across the "stellaris recover bank_id" openocd command (Performs the Recovering a "Locked" Device procedure to restore the flash specified by bank_id and its associated nonvolatile registers to their factory default values (erased).) Unfortunately, that command didn't work for me ("command requires more arguments" failure, no matter what arguments I specified) but it brought me to the idea that my flash may be locked in some kind. So I used the M$-Windows flash utility (from TI/Stellaris) to "unlock" the device. But that didn't solve the segfault problem neither.

Flashing of the hello.bin using the Stellaris flash utility works without problems. But I didn't work me through all the compiling and debugging of my OSX-ARM-toolchain to use Windows to flash the device.

Of corse I tried different jtag speeds, different file formats, different flash commands, the use of gdb to control openocd... without success.

So, if someone has any idea what I could try or what I am missing here, please speak up!