Hi everyone, looks like I have succesfully flashed the board by changing line 1077 in file extension.js
with the function flash to the following:
let cmd = west flash -r openocd;
I think a way to switch this command between platforms would be fantastic