OpenSK
An open-source Rust implementation of a FIDO2 security key. It runs as a Tock OS application or a standalone library, targeting Nordic nRF52840-based hardware to provide secure, hardware-backed authentication.
Tock Projects
10 projects using Tock RTOS
Tock is a secure, concurrent embedded operating system designed for ARM Cortex-M and RISC-V microcontrollers, prioritizing isolation between the kernel, device drivers, and applications. It leverages Rust's memory safety for its kernel and hardware Memory Protection Units (MPUs) to run multiple mutually distrustful applications on resource-constrained hardware with as little as 64kB of RAM.
PineTime Tock
An out-of-tree port of the Tock operating system to the PineTime smart watch. It enables the execution of Tock's secure, Rust-based kernel on the nRF52832 hardware, supporting development and debugging via JLink.
Tock Bootloader
A specialized bootloader for flashing applications onto microcontrollers over USB, built on top of the Tock OS ecosystem. It features a robust UART-based communication protocol, support for board-specific metadata through attributes, and a modular architecture for different hardware platforms.
Tock for STM32
A port of the Tock operating system for STM32 microcontrollers and development boards. It provides support for the Nucleo-F103RB and STM32F4DISCOVERY boards, leveraging Tock's secure kernel architecture for embedded systems.
Tock OS Docker Build Environment
A Docker image providing a complete build environment for Tock OS applications. It includes necessary dependencies such as the ARM GCC toolchain, Rust compiler, and tockloader for flashing and managing applications on embedded hardware.
Tock Test Harness
A Python-based test runner and harness for Tock OS designed to automate testing across a wide variety of embedded hardware platforms. It provides a configuration-driven environment for executing tests on Cortex-M and RISC-V boards using J-Link and OpenOCD.
Tock OS Docker Image
A pre-configured Docker-based development environment for Tock OS. It includes the ARM GNU Embedded Toolchain, specific Rust nightly builds, and essential utilities like Xargo and Uncrustify for building and formatting embedded firmware.
Tockloader
A comprehensive Python-based CLI tool for programming and managing applications on the Tock operating system. It supports multiple communication protocols including serial, J-Link, and OpenOCD to facilitate application installation, kernel flashing, and board inspection.
libtock-c: Tock Userland C Library
The C userland library and SDK for the Tock operating system, providing the core APIs and build system for developing embedded applications. It supports ARM Cortex-M and RISC-V architectures and includes integrated support for popular libraries like LWIP, LVGL, and OpenThread.
Hail IoT Development Module
Hail is a versatile IoT development module designed to run the Tock operating system, featuring a SAM4L Cortex-M4 microcontroller and an nRF51822 BLE radio. It integrates multiple environmental and motion sensors into a Particle Photon-compatible form factor for rapid prototyping and deployment.