我来给你几个实用的解决方案，都是帮开发者解决过类似问题的常用方法：

方案1：复制bin文件到Windows，用Windows烧录工具（最省心） #

WSL和Windows文件系统是互通的，直接把编译好的文件挪到Windows端操作最直接：

• 先在Ubuntu子系统里找到你的nuttx.bin（一般在nuttx/根目录下），用命令复制到Windows共享目录，比如你的文档文件夹：

  cp ./nuttx.bin /mnt/c/Users/你的Windows用户名/Documents/
  

• 切换到Windows，打开刚才的文档文件夹就能看到这个bin文件。然后用STM32常用的烧录工具（比如STM32CubeProgrammer或者ST-Link Utility）：
  • 把开发板的ST-Link接口插到Windows的USB口（确保ST-Link驱动已经安装好）
  • 打开烧录工具，选择芯片型号为STM32F4系列
  • 导入nuttx.bin，设置烧录起始地址为0x08000000（这是NuttX默认的Flash起始地址）
  • 点击烧录按钮，等待完成即可

方案2：让WSL直接访问ST-Link设备（Linux工具链烧录） #

如果想全程在WSL里操作，可以通过USB/IP把Windows的USB设备共享给WSL：

• 第一步：在Windows上配置USB/IP。打开管理员权限的PowerShell，先启用虚拟机平台功能：

  dism.exe /online /enable-feature /featurename:VirtualMachinePlatform /all /norestart
  

  重启电脑后，从微软商店安装【USB/IP Connector】应用
• 第二步：在PowerShell里列出所有USB设备，找到ST-Link对应的BUSID：

  usbipd wsl list
  

• 第三步：把ST-Link设备绑定到WSL：

  usbipd wsl attach --busid <你找到的BUSID>
  

• 第四步：在Ubuntu子系统里安装openocd（Linux下常用的STM32烧录工具）：

  sudo apt update && sudo apt install openocd
  

• 第五步：创建一个简单的配置文件stm32f4.cfg，内容如下：

  source [find interface/stlink.cfg]
  source [find target/stm32f4x.cfg]
  

  然后运行烧录命令（替换成你的bin文件路径）：

  openocd -f stm32f4.cfg -c "program ./nuttx.bin 0x08000000 verify reset exit"
  

方案3：串口ISP烧录（备用方案） #

如果你的开发板支持串口ISP功能，也可以用这个方式：

• 先把bin文件复制到Windows主机（参考方案1的步骤）
• 准备USB转串口模块，连接开发板的TX、RX、GND引脚，同时把BOOT0引脚拉高、BOOT1拉低，重启开发板进入ISP模式
• 打开Windows下的串口烧录工具（比如FlyMcu），选择对应的串口和波特率，导入bin文件后点击烧录即可

内容的提问来源于stack exchange，提问作者Mohamed Vakkayil