mbed-os/libraries/tests/mbed/hello/main.cpp

#include "mbed.h"

DigitalOut myled(LED1);

int main() {
    printf("Hello World\n");
    
    while (true) {
        wait(0.5);
        myled = !myled;
    }
}