有没有办法在micropython中找到micro:bit的五个字符ID?

Is there any way to find the five character ID of the micro:bit in micropython?

这就是我们使用块获取设备名称的方式

但我需要找到在 micropython 中编码的方法才能找到相同的方法。

我试过以下方法:

from microbit import *
while True:
    basic.show_string(control.device_name())

但这会引发错误!

micro:bit 的 micropython 与 MakeCode 编辑器中使用的代码不同。

它们都基于在以下位置定义的硬件抽象层: https://lancaster-university.github.io/microbit-docs/concepts/

micropython 的文档位于: https://microbit-micropython.readthedocs.io/en/v1.0.1/microbit_micropython_api.html

没有与块中相同的唯一名称。