ctsrd-cheri Goto Github PK

abseil-cpp

Abseil Common Libraries (C++)

afl-cheri

Port of American Fuzzy Lop to CHERI

alterajtaguart

Altera JTAG UART wrapper for Bluespec (now with replacement for nios2_terminal as a pty)

apache-httpd

Mirror of Apache HTTP Server. Issues: http://issues.apache.org

apr

Mirror of Apache Portable Runtime

arm-trusted-firmware

Trusted Firmware-A

axe

Consistency checker for memory subsystem traces

bare-metal-de10-cheri-bgas

minimal baremetal skeleton for de10 cheri-bgas system

bash

The GNU Bourne-Again SHell ported to CHERI

beri

The BERI and CHERI processor and hardware platform

besspin-gfe

BESSPIN Government Furnished Equipment (GFE).

besspin-tool-suite

The core tool of the BESSPIN Framework.

bid

Bluespec ISA Description framework

binutils

Obsolete Port of the GNU Assembler to the CHERI/MIPS

bitpat

Bit-string pattern matching for BSV

blueavalon

blueaxi4

bluebasics

bluecheck

A generic test bench written in Bluespec

blueshmem

Bluespec library that supports forking of simulations and shared memory for FIFO queues.

bluestuff

A Bluespec SystemVerilog library of miscellaneous components

blueunixbridges

BSV utilities to bridge between simulator and unix host system

bodiagsuite

A rescued copy of the old bodiagsuite corpus and some minimal tooling

bsc

Bluespec Compiler (BSC)

cache-py

Cache model in python

capstone

ccured

hack around trying to resuscitate ancient ccured.

cheri-bgas-fuse-devfs

A fuse filesystem to expose devices in the CHERI BGAS simulator

cheri-c-programming

CHERI C/C++ Programming Guide

cheri-c-tests

A set of (executable) tests for the CHERI C implementation.