tock/tock-archive tock/tock-archive

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
    Rust
  • Created almost 6 years ago
  • Updated 5 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
tock/tock-archive
github

tock

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Archive of code phased out of the main Tock repository.

More 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-nrf-serialization

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

tock-ci

Continuous integration testing for TockOS
Python
2
star