#include "mbed.h"



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

int x=1234;

//DigitalOut* myled1;//(LED1);
int main() {
	initIRQ();
	isr();
    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
    }
}

