pycharm - 设置 Raspberry Pi Pico（没有名为“Machine”的模块）

Question

我第一次尝试设置树莓派 pico。我已经安装了 micropython，并在 Pycharm 中设置了我的环境。我写了一个简单的程序来测试我的设置，我收到了这个错误：

Traceback (most recent call last):
File "D:\...\Blink.py", line 1, in <module>
    from machine import Pin
ModuleNotFoundError: No module named 'machine'

这是代码：

from machine import Pin
import time

led = Pin(25, Pin.OUT)
while True:
    led(1)
    time.sleep(1)
    led(0)
    time.sleep(1)

我发现人们在使用 ESP32 时遇到类似问题的其他问题，但我想知道如何在 pycharm 中使用 pi pico 处理这个问题