Arduino es un Fork de
Wiring, que a su vez está basado en
Processing. Son proyectos de código abierto y por lo tanto es sencillo realizar modificaciones, versiones o añadir módulos.
En este caso han diseñado un módulo para el entorno Arduino, llamado Teensyduino, que añade un compilador GCC para ARM, algunas opciones más en los menús del IDE Arduino y librerías de hardware y de usuario.
Las librerías de hardware hacen que la misma instrucción funcione igual en todos los micros. Por ejemplo digitalWrite(pin, level) escribe un pin de salida. Los pines se nombran con números naturales (no se dividen en puertos) y la función realiza todas las operaciones necesarias para abstraer al usuario de la capa de hardware. En ese sentido las librerías de hardware son como pequeñas HAL.
Además, el módulo Teensyduino añade librerías de usuario para trabajar con audio y muchas más funciones.
Es esa integración con Arduino y ese conjunto de herramientas de audio y librerías las que hacen que Teensy tenga un valor y un precio añadido.
En mi caso en seguida me meto en el código máquina y en los registros, pero prefiero tener un punto de partida de nivel 0 del que partir.
De todas formas no resulta difícil pasar las librerías a Eclipse o a otro entorno y trabajar fuera de Arduino.
Saludos.