Hola man3s, en mi opinión has tenido muy buena elección ya que los micros de freescale son de los mejores del mercado por poseer unos periféricos muy buenos.
De todas formas la placa que tienes es muy simple, y tampoco es que tenga muchas cosas, de todas formas es buena para aprender.
Con lo de mbed tienes razon, eso para micros ya sea st atmel o freescale, no es nada profesional, es como usar arduino ,para freescale de núcleos arm tienes un IDE gratuito de la propia freescale llamado kinetic desing studio, y freescale junto con atmel tiene es de las marcas de micros con mejores documentacion que hay, por lo tanto en el propio fabricante encontraras todo lo que necesites para comenzar.
Atmel también tiene un IDE gratuito de la propia empresa.
La otra opción es st, con placas baratas como la freedom pero con micros mas potentes, y mas completas, con herramientad de programacion baratitas, diversos IDE pero ninguno propio de la empresa y documentación muchísima peor, bastante mala, pero encontraras, foros gente y ejemplos que te ayuden ya que los usa bastante gente por el precio que tienen.
Si me pides mi opinión quedate en freescale o en atmel, yo he tenido problemas con los st. Estudia tu mismo cuales son mejores los mejores periféricos etc, hay mucho fanboy que te dice usa PIC el mejor, usa ST mejor, todos tienen sus ventajas y desventajas pero debes decidir tu cual te viene bien.
Un saludo.