Tock Embedded OS

Repositories

• tock

  A secure embedded operating system for microcontrollers

  rust iot arm microcontroller embedded kernel cortex-m
  Rust 320 2,395 89 (2 issues need help) 33 Updated Oct 6, 2020

• libtock-rs

  Rust userland library for Tock
  Rust 41 67 16 (1 issue needs help) 8 Updated Oct 5, 2020

• libtock-c

  Userland apps for Tock written in C and C++

  c embedded tock embedded-c embedded-cpp
  C 34 24 8 5 Updated Oct 3, 2020

• tockloader

  Tool for programming Tock onto hardware boards.

  pip python-3 tock
  Python MIT 18 22 4 2 Updated Oct 1, 2020

• elf2tab

  Tool to create Tock Application Bundles from ELF files.
  Rust MIT 8 10 1 2 Updated Sep 18, 2020

• tock-www

  Tock OS website

  tock
  HTML 14 3 0 0 Updated Aug 21, 2020

• tock-archive

  Archive of code phased out of the main Tock repository.
  Rust 0 0 0 0 Updated Jul 3, 2020

• 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 0 3 0 0 Updated Jun 18, 2020

• book

  Tock Hands-on Guide
  HTML MIT 5 5 0 0 Updated Jun 5, 2020

• tock-teensy

  An experimental port of the Tock OS to the Teensy 3.6
  Rust 6 22 3 1 Updated May 15, 2020

• tock-bootloader

  Software bootloader for boards running Tock.

  bootloader tock
  C 6 4 9 0 Updated Jun 12, 2019

• meeting-notes

  Notes from weekly conference calls
  0 0 0 0 Updated Dec 18, 2018

• tock-ci

  Continuous integration testing for TockOS
  Python MIT 0 0 0 0 Updated Dec 1, 2018

• tockloader-proto-rs

  Forked from thejpster/tockloader-proto-rs

  Implements the Tockloader protocol, as a #[no_std] crate.
  Rust 2 0 0 0 Updated Nov 28, 2018

• tock-sensortag

  Port of Tock for the TI SensorTag (unfortunately no MPU)
  Rust 1 5 1 1 Updated Jun 1, 2018

• tock-stm32

  Ports of Tock for STM32 chips and discovery boards

  stm32 tock stm32f1
  Rust 1 21 2 0 Updated May 16, 2018

• tock-nrf-serialization

  nRF51 BLE Serialization for Tock Platform Co-processors.
  C 0 1 0 0 Updated Dec 19, 2016