#include <stdio.h>
#include <fat32.h>
#include <gpio.h>
#include <uart.h>
#include <stm32f4xx.h>
#include <bsp.h>


extern streamdevice* __opnfiles__[];

int main()
{
    //gpioset(PSU_DISABLE);
    while(1)
    {
        for(volatile int i=0;i<1024*2048;i++);
        gpioset(LED1);
        gpioclr(LED2);
        for(volatile int i=0;i<1024*2048;i++);
        gpioclr(LED1);
        gpioset(LED2);
    }
    printf("hello world\n\r");
    return 0;
}



void USART3_IRQHandler(void)
{
    while(1)
    {
        for(volatile int i=0;i<1024*2048;i++);
        gpioset(PD12);
        gpioclr(PD14);
        for(volatile int i=0;i<1024*2048;i++);
        gpioclr(PD12);
        gpioset(PD14);
    }
}