#include "mbed.h" DigitalOut led(LED1); int main() { while (1) { led = !led; printf("Blink! LED is now %d\n", led.read()); wait_ms(500); } }