tock/libtock-c tock/libtock-c

  • Stars
    star
    71
  • Rank 429,230 (Top 9 %)
  • Language
    C
  • License
    Apache License 2.0
  • Created almost 6 years ago
  • Updated 25 days ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
tock/libtock-c
github

tock

Reviews

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

Repository Details

Userland apps for Tock written in C and C++

More Repositories

1

tock

A secure embedded operating system for microcontrollers
Rust
4,979
star
2

libtock-rs

Rust userland library for Tock
Rust
158
star
3

tockloader

Tool for programming Tock onto hardware boards.
Python
37
star
4

tock-teensy

An experimental port of the Tock OS to the Teensy 3.6
Rust
23
star
5

tock-stm32

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

tock-bootloader

Software bootloader for boards running Tock.
C
19
star
7

elf2tab

Tool to create Tock Application Bundles from ELF files.
Rust
14
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

tock-archive

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

tockloader-rs

Rust
3
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
1
star