18、深入探索Tock系统：构建数字字母显示胶囊

深入探索Tock系统：构建数字字母显示胶囊

1. Tock应用构建基础

在构建Tock应用时，为了充分利用设备的外设来创建复杂的应用程序， libtock-c 提供了各种库和函数。这些库和功能涵盖范围广泛，从简单的GPIO控制到特定传感器库，例如用于读取温度或运动数据的库。对于使用micro:bit和Raspberry Pi Pico的开发者来说，有一些重要的库可供使用，同时还有许多其他库可以集成到项目中。在 libtock-c/examples 文件夹中可以找到所有这些库的应用示例。

2. 构建胶囊的硬件需求

如果要构建一个用于点亮LED矩阵的简单胶囊，根据所使用的设备不同，需要不同的硬件组件：
- Micro:bit ：1个micro:bit v2板。
- Raspberry Pi Pico ：
- 1个Raspberry Pi Pico板；
- 1个KWM - R30881CUAB或KWM - R30881AUAB LED矩阵；
- 14根跳线；
- 5个220Ω电阻；
- 2个（或1个大的）面包板。

虽然这两种设备的硬件设置有所不同，但代码大部分是相同的。

3. Tock胶囊概述

Tock将驱动程序分为两类：低级驱动和高级驱动。低级驱动直接与硬件交互，而高级驱动则为其他类似的高级驱动或直接为用户空间提供功能。Tock将这些高级驱动称为胶囊，这个名称并非随意选择，它反映了胶囊不允许包含不安全的Rust代码