contiki-os/contiki — pull request #417 by g-oikonomou (2013-11-13 20:15:19+00:00)
Title: Document alternative toolchain for the CC2538DK

A few weeks ago I installed https://launchpad.net/gcc-arm-embedded on OS X. It has been working very nicely so far, so I'm documenting this as a valid alternative for the CC2538DK platform.