tock/tock-stm32 tock/tock-stm32

  • This repository has been archived on 23/Jan/2021
  • Stars
    star
    22
  • Rank 1,048,934 (Top 21 %)
  • Language
    Rust
  • License
    Other
  • Created almost 7 years ago
  • Updated almost 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
tock/tock-stm32
github

tock

Reviews

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

Repository Details

Ports of Tock for STM32 chips and discovery boards

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-teensy

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

elf2tab

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

book

Tock Hands-on Guide
C
9
star
9

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
10

tock-sensortag

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

tock-www

Tock OS website
HTML
5
star
12

tockloader-rs

Rust
4
star
13

tock-archive

Archive of code phased out of the main Tock repository.
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