Skip to content
@tock

Tock Embedded OS

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

Pinned

  1. tock Public

    A secure embedded operating system for microcontrollers

    Rust 4.4k 578

  2. libtock-c Public

    Userland apps for Tock written in C and C++

    C 60 69

  3. tock-www Public

    Tock OS website

    HTML 5 18

  4. tockloader Public

    Tool for programming Tock onto hardware boards.

    Python 34 38

  5. libtock-rs Public

    Rust userland library for Tock

    Rust 142 99

  6. tock-bootloader Public

    Software bootloader for boards running Tock.

    C 15 16

Repositories

View all repositories

Most used topics

Loading…