Blink the red LED on a Texas Instruments F28069M LaunchPad board at 0.5Hz. The model is expanded to blink the red and blue LEDs alternately at 0.5 Hz and then at 10Hz.