/*
 * Modified:
 * 	- added digital pin
 * 	- changed frequency of LED blinking to 10Hz
 */

#include "board.h"

int main(void)
{
    Board_Init();
    Chip_IOCON_Init(NSS_IOCON);

    /* Optional feature: send the ARM clock to PIO0_1 */
//    Chip_IOCON_SetPinConfig(NSS_IOCON, IOCON_PIO0_1, IOCON_FUNC_1);
//    Chip_Clock_Clkout_SetClockSource(CLOCK_CLKOUTSOURCE_SYSTEM);

    //*** GPIO Section ***//
    Chip_IOCON_SetPinConfig(NSS_IOCON, IOCON_PIO0_0, IOCON_FUNC_0 | IOCON_RMODE_INACT);
    Chip_IOCON_SetPinConfig(NSS_IOCON, IOCON_PIO0_3, IOCON_FUNC_0 | IOCON_RMODE_INACT);
    Chip_IOCON_SetPinConfig(NSS_IOCON, IOCON_PIO0_9, IOCON_FUNC_0 | IOCON_RMODE_INACT);
    Chip_IOCON_SetPinConfig(NSS_IOCON, IOCON_PIO0_11, IOCON_FUNC_0 | IOCON_RMODE_INACT);


    Chip_GPIO_Init(NSS_GPIO);
    Chip_GPIO_SetPinDIROutput(NSS_GPIO, 0,
    		NSS_GPIOn_PINMASK(0) | NSS_GPIOn_PINMASK(3) | NSS_GPIOn_PINMASK(9) | NSS_GPIOn_PINMASK(11));

//    Chip_GPIO_SetPinDIROutput(NSS_GPIO, 0, 3);

    Chip_GPIO_SetPinOutHigh(NSS_GPIO, 0, 3);
    Chip_GPIO_SetPinOutLow(NSS_GPIO, 0,
    		NSS_GPIOn_PINMASK(0) | NSS_GPIOn_PINMASK(9) | NSS_GPIOn_PINMASK(11));

    //*******************//

    /* Blink with a period of 50ms+50ms, or 10Hz */
    while (1) {
        LED_Toggle(LED_RED);				//pin 7 (I think)
        Chip_Clock_System_BusyWait_ms(500);
    }

    return 0;
}