14、Tock内核与应用部署全流程指南

Tock内核与应用部署全流程指南

在嵌入式系统开发中，Tock是一个轻量级、安全的操作系统内核，适用于各种微控制器。本文将详细介绍如何验证Tock内核的烧录情况，以及如何在不同设备上部署Tock内核和应用程序。

验证烧录完成情况

可以使用 tockloader 工具从串口读取数据来验证烧录是否完成。虽然此时还没有应用程序运行，但重置设备时会发出 “Initialization complete.” 消息。在终端中运行 tockloader listen 命令，会出现如下输出：

$ tockloader listen
No device name specified. Using default "tock"
No serial port with device name "tock" found
Found 5 serial port(s).
[0]    /dev/cu.MALS - n/a
[1]    /dev/cu.SOC - n/a
[2]    /dev/cu.XXXX - n/a
[3]    /dev/cu.YYYY - n/a
[4]    /dev/cu.usbmodem145102 - "BBC micro:bit CMSIS-DAP" - mbed Serial Port
Which option? [0] 4
Listening for serial output.
Initialization complete. Entering main loop.
Note  If no message appears after you select the correct device