Agreed, the state of art of most microcontroller manufacturers these days is to push out a (usually buggy) Eclipse based IDE with undocumented C libraries. They

Agreed, the state of art of most microcontroller manufacturers these days is to push out a (usually buggy) Eclipse based IDE with undocumented C libraries. They all have their quirks and issues - noone has got it right yet from the developer's point of view. This seems like a step in the right direction, albeit taking a big performance hit.