#include "mbed.h"



void my_asm (int x) asm ("my_asm");
void initIRQ(void) asm("initIRQ");
void isr(void) asm("isr");

int x=1234;

extern "C" void isr1(void)
{
 x=0;
}
//DigitalOut* myled1;//(LED1);
int main() {
	initIRQ();
	NVIC_SetVector(EXTI15_10_IRQn, (uint32_t)isr1);
    while(1) {
        my_asm(1);//myled1 = 1; // LED is ON
        wait(1); // 200 ms
        my_asm(0);//myled1 = 0; // LED is OFF
        wait(1);  // 1 sec
    }
}

