Giters
Tock Embedded OS (tock)

Tock Embedded OS

tock

Organization data from Github https://github.com/tock

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

Home Page:https://tockos.org/

GitHub:@tock

Twitter:@talkingtock

Tock Embedded OS's repositories

tock

A secure embedded operating system for microcontrollers

Language:RustLicense:NOASSERTIONStargazers:6054Issues:115Issues:743

libtock-rs

Rust userland library for Tock

Language:RustLicense:Apache-2.0Stargazers:189Issues:19Issues:108

libtock-c

Userland apps for Tock written in C and C++

Language:CLicense:Apache-2.0Stargazers:87Issues:17Issues:49

tockloader

Tool for programming Tock onto hardware boards.

Language:PythonLicense:MITStargazers:43Issues:12Issues:46

tock-bootloader

Software bootloader for boards running Tock.

Language:CStargazers:27Issues:13Issues:13

tock-teensy

An experimental port of the Tock OS to the Teensy 3.6

Language:RustStargazers:22Issues:10Issues:4

elf2tab

Tool to create Tock Application Bundles from ELF files.

Language:RustLicense:MITStargazers:18Issues:12Issues:16

book

Tock Hands-on Guide

Language:CLicense:MITStargazers:10Issues:10Issues:6

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.

Language:RustLicense:Apache-2.0Stargazers:7Issues:13Issues:0

tock-www

Tock OS website

Language:HTMLStargazers:6Issues:11Issues:7

tockloader-rs

Language:RustLicense:MITStargazers:5Issues:7Issues:3

tock-archive

Archive of code phased out of the main Tock repository.

Language:RustStargazers:4Issues:9Issues:0

TockBenchmarking

Language:TeXStargazers:3Issues:2Issues:0

libusb-rs

A safe Rust wrapper for libusb.

Language:RustLicense:MITStargazers:2Issues:2Issues:0

tock-ci

Continuous integration testing for TockOS

Language:PythonLicense:MITStargazers:2Issues:9Issues:0

tock-hardware-ci

Hardware CI test & support files for the Tock ecosystem

Language:PythonStargazers:2Issues:6Issues:0

tock-nrf-serialization

nRF51 BLE Serialization for Tock Platform Co-processors.

Language:CStargazers:2Issues:19Issues:3

rust-rfcs

RFCs for changes to Rust

Language:MarkdownLicense:Apache-2.0Stargazers:1Issues:0Issues:0

tock-cheri

A secure embedded operating system for microcontrollers

Language:RustLicense:NOASSERTIONStargazers:1Issues:0Issues:0

tock-registers

Interface and types for defining and manipulating registers and bitfields

Language:RustLicense:Apache-2.0Stargazers:1Issues:6Issues:0

tockworld8

Tock World 8

Language:SCSSStargazers:1Issues:0Issues:0

demo-soil-moisture

Create a soil moisture sensor with Tock.

Language:RustLicense:MITStargazers:0Issues:5Issues:0

dev-setup

Scripts and configurations for setting up Tock development environments.

Language:ShellLicense:MITStargazers:0Issues:7Issues:0

firmware

Stargazers:0Issues:0Issues:0

libtock-c-cheri

Language:CLicense:Apache-2.0Stargazers:0Issues:0Issues:0

libtock-rs-cheri

Language:RustLicense:Apache-2.0Stargazers:0Issues:6Issues:0

mirrorcheck

Periodically Check Mirrors of Tock-related Files

Language:PythonLicense:Apache-2.0Stargazers:0Issues:0Issues:0

rust-project-goals

Rust Project Goals tracker

License:MITStargazers:0Issues:0Issues:0

tock-cheri-old

A WIP variant of Tock that uses CHERI-capabilities for memory protection

Language:RustLicense:NOASSERTIONStargazers:0Issues:6Issues:0

tutorial-resources

Support files and resources for Tock tutorials.

Language:nesCLicense:MITStargazers:0Issues:5Issues:0