Alternatives and similar repositories for cheriot-rtos

Users that are interested in cheriot-rtos are comparing it to the libraries listed below

• CHERIoT-Platform / cheriot-sail
  Sail code model of the CHERIoT ISA
  ☆45Updated last week
• au-ts / lionsos
  A secure, fast, and adaptable OS based on the seL4 microkernel
  ☆150Updated this week
• seL4 / microkit
  Microkit - A simple operating system framework for the seL4 microkernel
  ☆143Updated last week
• virtualsquare / picotcp
  ☆73Updated 2 months ago
• lowRISC / sonata-system
  A full micro-controller system utilizing the CHERIoT Ibex core, part of the Sunburst project funded by UKRI
  ☆46Updated last month
• qualcomm / eld
  Embedded Linker
  ☆214Updated this week
• riscv-admin / riscv-landscape
  🌄 RISC-V Ecosystem Landscape: a living document that developers, investors, vendors, researchers and others can use as a resource on the…
  ☆19Updated this week
• intel / ecfw-zephyr
  ☆65Updated 2 weeks ago
• devicetree-org / lopper
  ☆47Updated last week
• google / aarch64-esr-decoder
  A utility for decoding aarch64 ESR register values.
  ☆97Updated this week
• microsoft / cheriot-ibex
  cheriot-ibex is a RTL implementation of CHERIoT ISA based on LowRISC's Ibex core.
  ☆113Updated 2 months ago
• hex-five / multizone-sdk
  MultiZone® Security TEE is the quick and safe way to add security and separation to any RISC-V processors. The RISC-V standard ISA doesn'…
  ☆86Updated last year
• CTSRD-CHERI / qemu
  QEMU with support for CHERI
  ☆61Updated 2 weeks ago
• sifive / riscv-zephyr
  Primary GIT Repository for the Zephyr Project
  ☆42Updated 5 years ago
• open-isa-org / open-isa.org
  Software, tools, documentation for Vegaboard platform
  ☆64Updated 5 years ago
• sifiveinc / meta-sifive
  SiFive OpenEmbedded / Yocto BSP Layer
  ☆54Updated 3 weeks ago
• eembc / securemark-tls
  The official repository for EEMBC's SecureMark™-TLS cryptography benchmark.
  ☆19Updated 2 years ago
• riscvarchive / riscv-edk2
  Port of EDK2 implementation of UEFI to RISC-V. See documentation at:
  ☆25Updated 3 years ago
• CTSRD-CHERI / cheribuild
  Easily build and run CHERI related projects
  ☆82Updated this week
• rivosinc / salus
  Risc-V hypervisor for TEE development
  ☆124Updated 4 months ago
• seL4 / camkes-vm
  Virtual Machine built as a CAmkES component.
  ☆24Updated 2 months ago
• popovicu / linux-no-mmu-userspace-example
  ☆43Updated 2 years ago
• TrustedFirmware-M / trusted-firmware-m
  Read-only mirror for Trusted Firmware-M
  ☆29Updated last week
• intel / intel-sdsi
  ☆48Updated 11 months ago
• lucypa / sDDF
  seL4 Device Driver Framework
  ☆21Updated last year
• betrusted-io / xous-book
  Documentation on the Xous operating system
  ☆36Updated 4 months ago
• pydrofoil / pydrofoil
  A fast RISC-V emulator based on the RISC-V Sail model, and an experimental ARM one
  ☆81Updated last week
• riscvarchive / riscv-edk2-platforms
  Port of EDK2 implementation of UEFI to RISC-V. See documentation at:
  ☆18Updated 3 years ago
• riscv-mcu / riscv-gnu-toolchain
  GNU toolchain for RISC-V, including GCC. Tweaked for microcontrollers.
  ☆33Updated this week
• emb-riscv / specs-markdown
  The preliminary 'RISC-V microcontroller profile' specs; for convenience, use markdown.
  ☆28Updated 3 years ago