#include "mbed.h"


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


//DigitalOut* myled1;//(LED1);
int main() {
	initIRQ();

    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
    }
}
