Hola Julio, es así, tal cual. De Igual manera no solo podemos hablar de los arduinos (Que en esencia vienen siendo AVRs), podemos incluir PICs, AtSAM, STM8/32, ESP8266, ESP32, MSP430. Esas son plataformas conocidas pero lo comento porque arduino no es lo mejor para controlar servos, en especial si hay muchos canales, el manejo suele hacerlo internamente el AVR por software, resultado de la compilación desde arduino y el control no es muy preciso.
En micros standalone, los PIC24 Y las series nuevas de PIC16/18 tienen muy buen manejo de los módulos PWM, puedes manejarlos tranquilamente en el orden de los 20 hz por hardware.
Tambien en el apartado de autonomía y módulos ADC/DAC, Arduino queda un poco atrás, a veces conviene usar un ADC externo y en el caso del DAC recurrir al MCP4728