我第一次尝试设置一个raspberry pi皮科。我已经安装了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皮科来处理这些问题