Skip to content

@tock Tock Embedded OS

Change the repository type filter

All

    Repositories list

    31 repositories

    • tock

      Public
      A secure embedded operating system for microcontrollers
      iotarmmicrocontrollercortex-moperating-systemmcurisc-vsecure-operating-systemrustembedded
      Rust
      •
      Other
      •703•5.5k•103•37•Updated Nov 18, 2024Nov 18, 2024

    • mirrorcheck

      Public
      Periodically Check Mirrors of Tock-related Files
      Python
      •
      Apache License 2.0
      •0•0•0•0•Updated Nov 18, 2024Nov 18, 2024

    • tock-hardware-ci

      Public
      Hardware CI test & support files for the Tock ecosystem
      Python
      •0•0•0•0•Updated Nov 15, 2024Nov 15, 2024

    • tock-cheri

      Public
      A secure embedded operating system for microcontrollers
      Rust
      •
      Other
      •703•1•0•0•Updated Nov 14, 2024Nov 14, 2024

    • libtock-c

      Public
      Userland apps for Tock written in C and C++
      cembeddedembedded-cembedded-cpptock
      C
      •
      Apache License 2.0
      •89•82•9•14•Updated Nov 14, 2024Nov 14, 2024

    • libtock-rs

      Public
      Rust userland library for Tock
      Rust
      •
      Apache License 2.0
      •109•167•28•9•Updated Nov 13, 2024Nov 13, 2024

    • tock-www

      Public
      Tock OS website
      tock
      HTML
      •20•5•1•0•Updated Oct 28, 2024Oct 28, 2024

    • book

      Public
      Tock Hands-on Guide
      C
      •
      MIT License
      •12•9•2•1•Updated Sep 30, 2024Sep 30, 2024

    • tockloader

      Public
      Tool for programming Tock onto hardware boards.
      pippython-3tock
      Python
      •
      MIT License
      •48•42•4•2•Updated Sep 24, 2024Sep 24, 2024

    • rust-rfcs

      Public
      RFCs for changes to Rust
      Markdown
      •
      Apache License 2.0
      •1.6k•1•0•0•Updated Sep 6, 2024Sep 6, 2024

    • rust-project-goals

      Public
      Rust Project Goals tracker
      Rust
      •
      MIT License
      •44•0•0•0•Updated Aug 28, 2024Aug 28, 2024

    • tock-ci

      Public
      Continuous integration testing for TockOS
      Python
      •
      MIT License
      •2•2•0•0•Updated Jul 23, 2024Jul 23, 2024

    • libtock-c-cheri

      Public
      C
      •
      Apache License 2.0
      •0•0•0•0•Updated Jul 11, 2024Jul 11, 2024

    • tock-cheri-old

      Public
      A WIP variant of Tock that uses CHERI-capabilities for memory protection
      Rust
      •
      Other
      •0•0•0•0•Updated Jul 11, 2024Jul 11, 2024

    • libtock-rs-cheri

      Public
      Rust
      •
      Apache License 2.0
      •0•0•0•0•Updated Jul 10, 2024Jul 10, 2024

    • elf2tab

      Public
      Tool to create Tock Application Bundles from ELF files.
      Rust
      •
      MIT License
      •33•15•2•2•Updated Jun 21, 2024Jun 21, 2024

    • tutorial-resources

      Public
      Support files and resources for Tock tutorials.
      nesC
      •
      MIT License
      •0•0•0•0•Updated Jun 12, 2024Jun 12, 2024

    • tock-archive

      Public
      Archive of code phased out of the main Tock repository.
      Rust
      •3•4•0•0•Updated May 28, 2024May 28, 2024

    • dev-setup

      Public
      Scripts and configurations for setting up Tock development environments.
      Shell
      •
      MIT License
      •0•0•0•0•Updated May 13, 2024May 13, 2024

    • demo-soil-moisture

      Public
      Create a soil moisture sensor with Tock.
      Rust
      •
      MIT License
      •0•0•0•0•Updated May 9, 2024May 9, 2024

    • tock-bootloader

      Public
      Software bootloader for boards running Tock.
      bootloadertock
      C
      •18•23•3•1•Updated Feb 7, 2024Feb 7, 2024

    • tockloader-rs

      Public
      Rust
      •
      MIT License
      •6•4•3•1•Updated Jan 10, 2024Jan 10, 2024

    • tock-register-interface

      Public
      Interface and types for defining and manipulating registers and bitfields
      Rust
      •
      Apache License 2.0
      •0•0•0•0•Updated Oct 6, 2023Oct 6, 2023

    • tock-nrf-serialization

      Public
      nRF51 BLE Serialization for Tock Platform Co-processors.
      C
      •5•2•0•0•Updated Mar 2, 2023Mar 2, 2023

    • tock-teensy

      Public
      An experimental port of the Tock OS to the Teensy 3.6
      Rust
      •9•22•3•2•Updated Sep 13, 2022Sep 13, 2022

    • libusb-rs

      Public
      A safe Rust wrapper for libusb.
      Rust
      •
      MIT License
      •65•2•0•0•Updated Sep 10, 2021Sep 10, 2021

    • TockBenchmarking

      Public
      TeX
      •4•3•0•0•Updated Mar 12, 2021Mar 12, 2021

    • tock-stm32

      Public archive
      Ports of Tock for STM32 chips and discovery boards
      stm32stm32f1tock
      Rust
      •
      Other
      •5•22•3•0•Updated Jan 22, 2021Jan 22, 2021

    • design-explorations

      Public
      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
      •
      Apache License 2.0
      •6•7•0•1•Updated Jun 18, 2020Jun 18, 2020

    • tockloader-proto-rs

      Public
      Implements the Tockloader protocol, as a #[no_std] crate.
      Rust
      •5•2•0•0•Updated Nov 28, 2018Nov 28, 2018