Tock Embedded OS

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

tock Public
A secure embedded operating system for microcontrollers

Rust 3,554 488 84 (3 issues need help) 33 Updated May 31, 2022
libtock-rs Public
Rust userland library for Tock

Rust 112 Apache-2.0 72 20 1 Updated May 28, 2022
tockloader Public
Tool for programming Tock onto hardware boards.

Python 25 MIT 28 5 2 Updated May 26, 2022
elf2tab Public
Tool to create Tock Application Bundles from ELF files.

Rust 11 MIT 17 2 6 Updated May 24, 2022
tock-www Public
Tock OS website

HTML 3 16 2 0 Updated May 24, 2022
tock-archive Public
Archive of code phased out of the main Tock repository.

Rust 0 1 0 0 Updated May 15, 2022
libtock-c Public
Userland apps for Tock written in C and C++

C 42 Apache-2.0 56 9 8 Updated May 4, 2022
libusb-rs Public
A safe Rust wrapper for libusb.

Rust 0 MIT 63 0 0 Updated Sep 10, 2021
book Public
Tock Hands-on Guide

C 6 MIT 7 0 0 Updated Aug 28, 2021
tock-bootloader Public
Software bootloader for boards running Tock.

C 11 11 2 1 Updated Aug 24, 2021

View all repositories

Tock Embedded OS

Pinned

Repositories

People

Top languages

Most used topics