PTA2 como salida PWM para variar la intensidad de un led. No funciona en los pines del RGB LED

Dependencies:   mbed

pwm.cpp/shortlog@5d0256c83f87: not found in manifest