Since it took me far to long to find actual code, here's the hello world equivalent getting started code.

https://docs.mbed.com/docs/getting-started-mbed-os/en/latest...