I thought people here might be interested in the new AdaCore release of their GPL Ada 2012 for bare-board ARM. I think this is a pretty big deal, especially when they work out how to easily port to different vendors and parts.
Here's a Jack Ganssle video:
formatting link
And a short tutorial/blog of mine:
formatting link