# get the mbed-sdk source:
git clone git@github.com:mbedmicro/mbed-sdk.git
cd mbed-sdk

# build for the frdm-k64f-gcc target:
yotta target frdm-k64f-gcc

# build
yotta build
...

# fire up the debugger with the blinky test loaded
yotta debug test/mbed-test-blinky
...
> mon reset
> load
> continue