Skip to content

@CHERIoT-Platform CHERIoT Platform

Change the repository type filter

All

    Repositories list

    23 repositories

    • cheriot-rtos

      Public
      The RTOS components for the CHERIoT research platform
      C++
      •
      MIT License
      •61•156•54•18•Updated Feb 19, 2026Feb 19, 2026

    • llvm-project

      Public
      Fork of LLVM adding CHERIoT, based on the CHERI LLVM fork
      LLVM
      •
      Other
      •62•8•19•4•Updated Feb 18, 2026Feb 18, 2026

    • cheriot-sail

      Public
      Sail code model of the CHERIoT ISA
      TeX
      •
      Other
      •17•48•28•6•Updated Feb 17, 2026Feb 17, 2026

    • rust.cheriot.org

      Public
      Web site for the CHERI[oT] Rust project
      HTML
      •1•0•0•0•Updated Feb 17, 2026Feb 17, 2026

    • cheri-rust

      Public
      🍒 Rust - Experimental port of Rust to CHERI architectures
      Rust
      •
      Apache License 2.0
      •4•8•34•4•Updated Feb 16, 2026Feb 16, 2026

    • network-stack

      Public
      C++
      •9•8•14•6•Updated Feb 16, 2026Feb 16, 2026

    • cheriot-demos

      Public
      Space for all of the CHERIoT demos that people have been building for various purposes
      C
      •
      MIT License
      •3•8•2•5•Updated Feb 13, 2026Feb 13, 2026

    • devcontainer

      Public
      Scripts for creating the CHERIoT dev container
      Dockerfile
      •
      MIT License
      •6•3•0•1•Updated Feb 11, 2026Feb 11, 2026

    • cheriot-audit

      Public
      Auditing tooling for CHEIRoT firmware images
      C++
      •
      MIT License
      •2•4•0•0•Updated Feb 10, 2026Feb 10, 2026

    • cheriot-tools

      Public
      Repository for tools that assist with CHERIoT development
      0•0•0•0•Updated Feb 9, 2026Feb 9, 2026

    • CHERIoT-Platform.github.io

      Public
      CHERIoT web site
      CSS
      •11•3•0•1•Updated Feb 5, 2026Feb 5, 2026

    • riscv_trace_debugger

      Public
      Tool for debugging RISC-V execution traces with a real debugger
      Rust
      •
      MIT License
      •1•11•3•0•Updated Feb 2, 2026Feb 2, 2026

    • cheriot-pqc

      Public
      Post-quantum cryptography for CHERIoT
      C
      •0•6•0•0•Updated Jan 13, 2026Jan 13, 2026

    • sail-riscv

      Public
      Sail RISC-V model, tweaked for CHERIoT. Regularly rebased!
      C
      •
      Other
      •246•0•0•3•Updated Dec 19, 2025Dec 19, 2025

    • TestRIG

      Public
      Testing processors with Random Instruction Generation
      OCaml
      •
      Other
      •17•0•0•0•Updated Dec 19, 2025Dec 19, 2025

    • cheriot-template

      Public template
      Template for creating a new CHERIoT project
      Xmake
      •
      Creative Commons Zero v1.0 Universal
      •1•0•0•0•Updated Dec 8, 2025Dec 8, 2025

    • book-examples

      Public
      Examples that accompany the CHERIoT Programmers' Guide
      Shell
      •
      MIT License
      •0•3•0•0•Updated Nov 20, 2025Nov 20, 2025

    • cheriot-dbg-module

      Public
      RISC-V debug module extended with CHERIoT support
      SystemVerilog
      •
      Other
      •2•2•0•0•Updated Jul 25, 2025Jul 25, 2025

    • openocd

      Public
      Fork of OpenOCD with some additional CHERIoT support
      C
      •
      Other
      •958•0•0•0•Updated Jul 13, 2025Jul 13, 2025

    • book

      Public
      The public drafts of the CHERIoT Programmers' Guide
      TeX
      •7•7•4•1•Updated Apr 17, 2025Apr 17, 2025

    • cheriot-safe-uart-boot-rom

      Public
      Boot ROM for loading firmware images onto the CHERIoT Ibex build for the Arty A7
      C++
      •
      MIT License
      •0•2•0•0•Updated Mar 21, 2025Mar 21, 2025

    • sail-container

      Public
      Repository for building a container with Sail preinstalled
      Dockerfile
      •
      MIT License
      •0•0•0•0•Updated Mar 17, 2025Mar 17, 2025

    • .github

      Public
      The CHERIoT Platform is a hardware-software platform for secure embedded devices
      securityembeddedrtoschericheriot
      0•0•0•0•Updated May 1, 2024May 1, 2024