Tock Embedded OS (@tock)
Guthub

tock

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    5,812
  • Global Org. Rank 3,997 (Top 2 %)
  • Registered almost 7 years ago
  • Most used languages
    Rust
         56.3 %
    C
         25.0 %
    Python
         12.5 %
    HTML
         6.3 %

Top repositories

1

tock

A secure embedded operating system for microcontrollers
Rust
5,395
star
2

libtock-rs

Rust userland library for Tock
Rust
163
star
3

libtock-c

Userland apps for Tock written in C and C++
C
81
star
4

tockloader

Tool for programming Tock onto hardware boards.
Python
41
star
5

tock-bootloader

Software bootloader for boards running Tock.
C
23
star
6

tock-stm32

Ports of Tock for STM32 chips and discovery boards
Rust
22
star
7

tock-teensy

An experimental port of the Tock OS to the Teensy 3.6
Rust
22
star
8

elf2tab

Tool to create Tock Application Bundles from ELF files.
Rust
15
star
9

book

Tock Hands-on Guide
C
9
star
10

design-explorations

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.
Rust
7
star
11

tock-sensortag

Port of Tock for the TI SensorTag (unfortunately no MPU)
Rust
6
star
12

tock-www

Tock OS website
HTML
5
star
13

tockloader-rs

Rust
4
star
14

tock-archive

Archive of code phased out of the main Tock repository.
Rust
4
star
15

tock-nrf-serialization

nRF51 BLE Serialization for Tock Platform Co-processors.
C
2
star
16

tock-ci

Continuous integration testing for TockOS
Python
2
star