30、Tock用户空间驱动与系统管理

Tock用户空间驱动与系统管理

1. Tock用户空间驱动概述

Tock架构允许构建在用户空间运行的驱动程序。用户空间驱动作为常规进程部署在系统上，借助Tock的进程间通信（IPC）机制，其他进程可与之交互并请求执行各种操作。

1.1 硬件要求

根据使用的设备，所需的硬件组件如下：
| 设备 | 硬件组件 |
| ---- | ---- |
| 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大）面包板 |

1.2 Tock进程间通信库

Tock实现了进程间通信（IPC）机制，依赖回调函数和通知，相关内容在 libtock - c 的 ipc.h 文件中描述。以下是IPC机制的关键函数：
- 注册回调函数 ：
- int ipc_register_service_callback (subscribe_upcall callback, void *ud) ：注册服务端回调函数，当客户端发出请求时在服务端调用。
- int ipc_register_client_callback(int svc_id, subscribe_upcall callback, void *ud)