Tock Embedded OS

Tock is an embedded operating system designed for running multiple concurrent, mutually distrustful applications on low-memory and low-power microcontrollers

Verified
We've verified that the organization tock controls the domains:
- tockos.org
- lists.tockos.org
Learn more about verified organizations

Sponsor

Overview
Repositories
Projects
Packages
People

Pinned Loading

tock tock Public

A secure embedded operating system for microcontrollers

Rust 6.4k 853
libtock-c libtock-c Public

Userland apps for Tock written in C and C++

C 90 107
tock-www tock-www Public

Tock OS website

HTML 6 23
tockloader tockloader Public

Tool for programming Tock onto hardware boards.

Python 44 57
libtock-rs libtock-rs Public

Rust userland library for Tock

Rust 199 124
tock-bootloader tock-bootloader Public

Software bootloader for boards running Tock.

C 28 17

Repositories

Type Language Sort

tock Public
A secure embedded operating system for microcontrollers

tock/tock's past year of commit activity

Rust 6,419 853 132 (4 issues need help) 69 Updated Aug 24, 2026
mirrorcheck Public
Periodically Check Mirrors of Tock-related Files

tock/mirrorcheck's past year of commit activity

Python 1 Apache-2.0 0 0 0 Updated Aug 24, 2026
tock-registers Public
Interface and types for defining and manipulating registers and bitfields

tock/tock-registers's past year of commit activity

Rust 11 Apache-2.0 3 11 3 Updated Aug 21, 2026
tock-hardware-ci Public
Hardware CI test & support files for the Tock ecosystem

tock/tock-hardware-ci's past year of commit activity

Python 2 0 0 8 Updated Aug 18, 2026
libtock-c Public
Userland apps for Tock written in C and C++

tock/libtock-c's past year of commit activity

C 90 Apache-2.0 107 16 (1 issue needs help) 12 Updated Aug 14, 2026
book Public
Tock Hands-on Guide

tock/book's past year of commit activity

C 11 MIT 15 2 2 Updated Aug 14, 2026
elf2tab Public
Tool to create Tock Application Bundles from ELF files.

tock/elf2tab's past year of commit activity

Rust 18 MIT 39 6 7 Updated Aug 12, 2026
libtock-rs Public
Rust userland library for Tock

tock/libtock-rs's past year of commit activity

Rust 199 Apache-2.0 124 34 (1 issue needs help) 11 Updated Aug 7, 2026
design-explorations Public
Sometimes we write code to test ideas before implementing (or not implementing) them in Tock OS. This repository gives that code a place to live so it can be referred to in the future.

tock/design-explorations's past year of commit activity

Rust 7 Apache-2.0 6 0 1 Updated Aug 6, 2026
tock-www Public
Tock OS website

tock/tock-www's past year of commit activity

HTML 6 23 1 0 Updated Aug 4, 2026