#include<stdio.h>
#include "Driver\DrvSYS.h"
#include "Driver\DrvGPIO.h"
#include "NUC1xx.h"

void EINT1Callback(void){
    DrvGPIO_ClrBit(E_GPB, 11);
    DrvSYS_Delay(100000);
    DrvGPIO_SetBit(E_GPB, 11);

}
int main(void){
    UNLOCKREG();
    DrvSYS_SetOscCtrl(E_SYS_XTL12M, 1);
    DrvSYS_SelectHCLKSource(0);
    LOCKREG();

    DrvGPIO_Open(E_GPB, 11, E_IO_OUTPUT);
    DrvGPIO_SetBit(E_GPB, 11);
    DrvGPIO_SetBit(E_GPA, 12);
    DrvGPIO_Open(E_GPB,15,E_IO_INPUT);
    DrvGPIO_EnableEINT1(E_IO_FALLING, E_MODE_EDGE, EINT1Callback);
    while(1){

    }
}