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

extern streamdevice* __opnfiles__[];

int main()
{
   while(1)
    {
        gpioset(LED3);
        delay_100us(10000);
        gpioclr(LED3);
        delay_100us(10000);
    }
    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);
    }
}