コマンドのポート指定で/dev/ttyUSBXの形式を求められるがwindowsなのでCOM4のように指定すると怒られる

Question

実現したいこと

https://github.com/litex-hub/linux-on-litex-vexriscv
でtang nano 20kというボード上でlinuxを動かそうとしています。litexというファームウェアのビルドとfpgaへの書き込みには成功しています。そこにlinuxイメージを書き込もうという段階です。
そのため、readmeのLoad the Linux images over Serialの箇所を参考にして、
litex_term --images=images/boot.json /dev/ttyUSBXを実行したいです。
しかしエラーが出て困りました。

前提

litexのビルドはhttps://github.com/enjoy-digital/litex のリポジトリと
https://github.com/sipeed/TangNano-20K-example のlitexフォルダのhowtobuild.mdを元にして行いました。
litex_termコマンドは正常に動作します。
wsl2で動作させています。
teratermでシリアル通信するときはCOM4で115200を指定しています。

発生している問題・エラーメッセージ

$ litex_term --images=images/boot.json COM4
Traceback (most recent call last):
  File "/home/haihu/.local/lib/python3.10/site-packages/serial/serialposix.py", line 322, in open
    self.fd = os.open(self.portstr, os.O_RDWR | os.O_NOCTTY | os.O_NONBLOCK)
FileNotFoundError: [Errno 2] No such file or directory: 'COM4'

During handling of the above exception, another exception occurred:

Traceback (most recent call last):
  File "/home/haihu/.local/bin/litex_term", line 33, in <module>
    sys.exit(load_entry_point('litex', 'console_scripts', 'litex_term')())
  File "/mnt/c/Users/haihu/Univ/Thesis/litex/litex/litex/tools/litex_term.py", line 648, in main
    term.open(port, int(float(args.speed)))
  File "/mnt/c/Users/haihu/Univ/Thesis/litex/litex/litex/tools/litex_term.py", line 324, in open
    self.port = serial.serial_for_url(port, baudrate)
  File "/home/haihu/.local/lib/python3.10/site-packages/serial/__init__.py", line 90, in serial_for_url
    instance.open()
  File "/home/haihu/.local/lib/python3.10/site-packages/serial/serialposix.py", line 325, in open
    raise SerialException(msg.errno, "could not open port {}: {}".format(self._port, msg))
serial.serialutil.SerialException: [Errno 2] could not open port COM4: [Errno 2] No such file or directory: 'COM4'

試したこと

• /dev直下にttyUSB*は何もいませんでした。なので/dev/ttyUSB4のように指定してもそんなものはないと怒られます。
• dmesg | grep ttyUSBも何も出ませんでした。

補足情報（FW/ツールのバージョンなど）

Comments

[setoppu]

dmesg | grep ttyではどうです？

[bsdfan]

WSLでusbのデバイスをつなぐには、usbipd-win を使うと良さそうなので試してみてはどうでしょう。
検索するといろいろ記事が見つかると思います。

Answer 1

https://qiita.com/baggio/items/28c13ed8ac09fc7ebdf1
https://qiita.com/ryoma-jp/items/9db6cca5ed10f1aed7ff
の記事を参考にusbipdを用意し、実行したらwslからusbポートを扱えるようになりました！
ここでの質問は解決できたので、一旦閉じたいと思います。

@bsdfanさん
ありがとうございました！