Skip to content

Popular repositories Loading

  1. riscv-exercise riscv-exercise Public

    CHERI RISC-V exercise

    Shell 3 8

  2. cheri-docs cheri-docs Public

    Getting started guides for CHERI and the like

    2

  3. morello-baremetal-examples morello-baremetal-examples Public

    Example code for the Morello Platform

    Assembly 1 2

  4. proteus proteus Public

    Forked from proteus-core/proteus

    This repository contains the SpinalHDL design of the Proteus core, an extensible RISC-V core.

    Scala 1

  5. qemu qemu Public

    Forked from CTSRD-CHERI/qemu

    QEMU with support for CHERI

    C

  6. zephyr zephyr Public

    Forked from zephyrproject-rtos/zephyr

    Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware architectures.

    C

Repositories

Showing 8 of 8 repositories
  • cheri-crypt Public

    CHERI-Crypt: Transparent Memory Encryption on Capability Architectures

    cap-tee/cheri-crypt’s past year of commit activity
    Verilog 0 MIT 0 0 0 Updated Feb 13, 2025
  • llvm-project Public Forked from CTSRD-CHERI/llvm-project

    Fork of LLVM adding CHERI-Crypt support

    cap-tee/llvm-project’s past year of commit activity
    0 49 0 0 Updated Jan 31, 2025
  • zephyr Public Forked from zephyrproject-rtos/zephyr

    Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware architectures.

    cap-tee/zephyr’s past year of commit activity
    C 0 Apache-2.0 7,065 0 0 Updated Nov 7, 2023
  • proteus Public Forked from proteus-core/proteus

    This repository contains the SpinalHDL design of the Proteus core, an extensible RISC-V core.

    cap-tee/proteus’s past year of commit activity
    Scala 1 MIT 10 0 0 Updated Jan 7, 2023
  • cheri-docs Public

    Getting started guides for CHERI and the like

    cap-tee/cheri-docs’s past year of commit activity
    2 0 0 0 Updated Sep 21, 2022
  • morello-baremetal-examples Public

    Example code for the Morello Platform

    cap-tee/morello-baremetal-examples’s past year of commit activity
    Assembly 1 2 0 0 Updated Nov 11, 2021
  • qemu Public Forked from CTSRD-CHERI/qemu

    QEMU with support for CHERI

    cap-tee/qemu’s past year of commit activity
    C 0 32 0 0 Updated Feb 6, 2021
  • riscv-exercise Public

    CHERI RISC-V exercise

    cap-tee/riscv-exercise’s past year of commit activity
    Shell 3 8 0 0 Updated Jan 4, 2021

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…