Giters
CAP-TEE project (cap-tee)

CAP-TEE project

cap-tee

Geek Repo

Home Page:https://cap-tee.org/

Github PK Tool:Github PK Tool

CAP-TEE project's repositories

zephyr

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

License:Apache-2.0Stargazers:0Issues:0Issues:0

proteus

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

License:MITStargazers:1Issues:0Issues:0

cheri-docs

Getting started guides for CHERI and the like

Stargazers:2Issues:0Issues:0

morello-baremetal-examples

Example code for the Morello Platform

Language:AssemblyLicense:NOASSERTIONStargazers:1Issues:0Issues:0

qemu

QEMU with support for CHERI

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

riscv-exercise

CHERI RISC-V exercise

Language:ShellStargazers:3Issues:0Issues:0