Giters
Tock Embedded OS (tock)

Tock Embedded OS

tock

Geek Repo

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

Home Page:https://www.tockos.org/

Github PK Tool:Github PK Tool

Tock Embedded OS's repositories

tock

A secure embedded operating system for microcontrollers

Language:RustLicense:NOASSERTIONStargazers:5516Issues:120Issues:690

libtock-rs

Rust userland library for Tock

Language:RustLicense:Apache-2.0Stargazers:170Issues:22Issues:102

libtock-c

Userland apps for Tock written in C and C++

Language:CLicense:Apache-2.0Stargazers:82Issues:18Issues:46

tockloader

Tool for programming Tock onto hardware boards.

Language:PythonLicense:MITStargazers:41Issues:14Issues:45

tock-bootloader

Software bootloader for boards running Tock.

Language:CStargazers:23Issues:16Issues:12

tock-stm32

Ports of Tock for STM32 chips and discovery boards

Language:RustLicense:NOASSERTIONStargazers:22Issues:11Issues:4

tock-teensy

An experimental port of the Tock OS to the Teensy 3.6

Language:RustStargazers:22Issues:11Issues:4

elf2tab

Tool to create Tock Application Bundles from ELF files.

Language:RustLicense:MITStargazers:15Issues:14Issues:13

book

Tock Hands-on Guide

Language:CLicense:MITStargazers:9Issues:11Issues:5

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:14Issues:0

tock-www

Tock OS website

Language:HTMLStargazers:6Issues:12Issues:7

tock-archive

Archive of code phased out of the main Tock repository.

Language:RustStargazers:4Issues:10Issues:0

tockloader-rs

Language:RustLicense:MITStargazers:4Issues:7Issues:3

TockBenchmarking

Language:TeXStargazers:3Issues:3Issues: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:10Issues:0

tock-nrf-serialization

nRF51 BLE Serialization for Tock Platform Co-processors.

Language:CStargazers:2Issues:20Issues:3

tockloader-proto-rs

Implements the Tockloader protocol, as a #[no_std] crate.

Language:RustStargazers:2Issues:6Issues:0

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

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

libtock-c-cheri

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

libtock-rs-cheri

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues: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

tock-hardware-ci

Hardware CI test & support files for the Tock ecosystem

Language:PythonStargazers:0Issues:0Issues:0

tock-register-interface

Interface and types for defining and manipulating registers and bitfields

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

tutorial-resources

Support files and resources for Tock tutorials.

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