I’ve got three of these still in their wrapping if anyone wants them for a project, or something around the space:
http://www.ti.com/tool/EK-LM4F120XL
They’re not the latest in the M4F range (maybe 2 years old???), but I believe they’re still code compatible with the later silicon. It’s a cheap way to start working with ARM…