Tock Embedded OS

icon indicating a website link https://www.tockos.org/ icon indicating an email [email protected]

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

Results 8 repositories owned by Tock Embedded OS

tock

5.0k
Stars
651
Forks
Watchers

A secure embedded operating system for microcontrollers

verified publisher icon tock

libtock-rs

156
Stars
103
Forks
Watchers

Rust userland library for Tock

verified publisher icon tock

libtock-c

71
Stars
81
Forks
Watchers

Userland apps for Tock written in C and C++

verified publisher icon tock

tock-stm32

22
Stars
5
Forks
Watchers

Ports of Tock for STM32 chips and discovery boards

verified publisher icon tock

tock-teensy

23
Stars
9
Forks
Watchers

An experimental port of the Tock OS to the Teensy 3.6

verified publisher icon tock

tockloader

37
Stars
44
Forks
Watchers

Tool for programming Tock onto hardware boards.

verified publisher icon tock

tock-bootloader

19
Stars
17
Forks
Watchers

Software bootloader for boards running Tock.

verified publisher icon tock

elf2tab

15
Stars
33
Forks
Watchers

Tool to create Tock Application Bundles from ELF files.

verified publisher icon tock