du könntest die LED zwischen einem normalen portpin und einem PWM-port anschließen.
dann gibt es zwei fälle:
a) grüne LED -> pin auf low, pwm regelt leuchtstärke
b) rote LED -> pin auf high, pwm mit invertiertem tastverhältnis (also 0 = volle leistung, 255 = aus)