验证安装

让我们验证所有工具是否已正确安装。

仅限Linux

验证权限

使用USB数据线将micro:bit连接到您的计算机。

micro:bit现在应该以USB设备（文件）的形式出现在/dev/bus/usb。让我们看看它是如何被枚举的：

$ lsusb | grep -i "NXP ARM mbed"
Bus 001 Device 065: ID 0d28:0204 NXP ARM mbed
$ # ^^^        ^^^

在我的例子中，micro:bit连接到总线#1被枚举为设备#65。这意味着该文件/dev/bus/usb/001/065是micro:bit。 让我们检查这个文件的权限：

$ ls -l /dev/bus/usb/001/065
crw-rw-r--+ 1 nobody nobody 189, 64 Sep  5 14:27 /dev/bus/usb/001/065

权限应该是crw-rw-r--+，注意最后的+号，然后运行以下命令查看您的访问权限。

$ getfacl /dev/bus/usb/001/065
getfacl: Removing leadin '/' from absolute path names
# file: dev/bus/usb/001/065
# owner: nobody
# group: nobody
user::rw-
user:<YOUR-USER-NAME>:rw-
group::rw-
mask::rw-
other::r-

您应该在上述列表中看到您的用户名带有rw-权限，如果不是...然后检查您的udev规则并尝试重新加载它们：

$ sudo udevadm control --reload
$ sudo udevadm trigger

全部

验证cargo-embed

首先，使用USB数据线将micro:bit连接到您的计算机。

micro:bit的USB端口旁边至少有一个橙色LED应该亮起。此外，如果您从未在micro:bit上刷过其他程序， 则micro:bit附带的默认程序应该开始闪烁其背面的红色LED，您可以忽略它们。

现在查看一下probe-rs及其中的cargo-embed是否可以发现micro:bit，使用以下命令：

$ probe-rs list
The following debug probes were found:
[0]: BBC micro:bit CMSIS-DAP -- 0d28:0204:990636020005282030f57fa14252d446000000006e052820 (CMSIS-DAP)

如果需要更多有关micro:bit调试能力的信息，可以运行:

$ probe-rs info
Probing target via JTAG

Error identifying target using protocol JTAG: The probe does not support the JTAG protocol.

Probing target via SWD

ARM Chip with debug port Default:
Debug Port: DPv1, DP Designer: ARM Ltd
├── 0 MemoryAP
│   └── ROM Table (Class 1), Designer: Nordic VLSI ASA
│       ├── Cortex-M4 SCS   (Generic IP component)
│       │   └── CPUID
│       │       ├── IMPLEMENTER: ARM Ltd
│       │       ├── VARIANT: 0
│       │       ├── PARTNO: Cortex-M4
│       │       └── REVISION: 1
│       ├── Cortex-M3 DWT   (Generic IP component)
│       ├── Cortex-M3 FBP   (Generic IP component)
│       ├── Cortex-M3 ITM   (Generic IP component)
│       ├── Cortex-M4 TPIU  (Coresight Component)
│       └── Cortex-M4 ETM   (Coresight Component)
└── 1 Unknown AP (Designer: Nordic VLSI ASA, Class: Undefined, Type: 0x0, Variant: 0x0, Revision: 0x0)


Debugging RISC-V targets over SWD is not supported. For these targets, JTAG is the only supported protocol. RISC-V specific information cannot be printed.
Debugging Xtensa targets over SWD is not supported. For these targets, JTAG is the only supported protocol. Xtensa specific information cannot be printed.

接下来，您将不得不在本书的源代码src/03-setup目录中进行修改Embed.toml。 在该default.general部分中，您将找到两个已注释掉的芯片的变量：

[default.general]
# chip = "nrf52833_xxAA" # uncomment this line for micro:bit V2
# chip = "nrf51822_xxAA" # uncomment this line for micro:bit V1

如果您使用的是micro:bit v2板，请取消注释第一行，对于v1，请取消注释第二行。

接下来运行以下命令之一：

$ # make sure you are in src/03-setup of the books source code
$ # If you are working with micro:bit v2
$ rustup target add thumbv7em-none-eabihf
$ cargo embed --target thumbv7em-none-eabihf

$ # If you are working with micro:bit v1
$ rustup target add thumbv6m-none-eabi
$ cargo embed --target thumbv6m-none-eabi

如果一切正常，cargo-embed应该首先编译这个目录中的小示例程序，然后刷新它， 最后打开一个漂亮的基于文本的用户界面，打印Hello World。

(如果没有，请查看一般故障排除说明。)

此输出来自您刚刚嵌入micro:bit的小型Rust程序。一切正常，您可以继续下一章！