There is an article in the Handbook describing the use of a VSC debugger. https://docs.mbed.com/docs/mbed-os-handbook/en/latest/debugging/vscode/ The CLI command `$ mbed export -i vscode_gcc_arm -m K64F` should export a program to VSC but there is no such exporter