Looking to get started with ARM microcontroller development on Linux
Look here man

http://www.ti.com/lsds/ti/microcontroller/tiva_arm_cortex/c_series/tm4c_arm_cortex-m4/overview.page?DCMP=tivac-series&amp;HQS=tivac-series-b

Read up on that, it gives a good amount of background info

EDIT : Erm, I guess credit to Jippie too on the comment, I didn't see that before I posted but yeah. Sorry :S.