18、Tock系统中同步系统调用胶囊的开发指南

Tock系统中同步系统调用胶囊的开发指南

1. Tock应用构建概述

在Tock系统中构建复杂应用时，libtock - c提供了各种库和函数，从简单的GPIO控制到特定传感器库（如读取温度或运动数据），可帮助开发者利用设备的外设。以下是可用于micro:bit和Raspberry Pi Pico的重要库的简要介绍，不过还有许多其他库可集成到项目中。

• 应用示例 ：对于本章描述的所有库，可在libtock - c/examples文件夹中找到应用示例。

2. 构建胶囊项目的硬件要求

不同设备构建胶囊项目时，所需的硬件组件不同，具体如下：
| 设备 | 硬件组件 |
| ---- | ---- |
| Micro:bit | 1 x micro:bit v2板 |
| Raspberry Pi Pico | 1 x Raspberry Pi Pico板；1 x KWM - R30881CUAB或KWM - R30881AUAB LED矩阵；14 x跳线；5 x 220 Ω电阻；2 x（或1 x大）面包板 |

需要注意的是，虽然两种设备的硬件设置不同，但代码大部分相同。下面会先介绍针对micro:bit需实现的代码，最后会详细说明在Raspberry Pi Pico上运行所需的更改。

3. Tock胶囊的概念

Tock将驱动程序分为两类：低级驱动和高级驱动。低级驱动直接与硬件交互，而高级驱动为其他类似的高级驱动或直接为用户空间提供功能。Tock将这些高级驱动称为胶囊，该名称并非随意选取，它反映了