#include "mbed.h"



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

int x=1234;

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

