Pinned Repositories
bmake
A git repository for the bmake releases
cheribsd
FreeBSD adapted for the CHERI CPU. WARNING: some programs contain deliberate vulnerabilities
clang
Mirror of official clang git repository located at http://llvm.org/git/clang. Updated every five minutes.
freebsd
FreeBSD src tree (read-only mirror)
juliet-test-suite-c
cheribsd
FreeBSD adapted for CHERI-RISC-V and Arm Morello.
cheribuild
Easily build and run CHERI related projects
llvm-project
Fork of LLVM adding CHERI support
qemu
QEMU with support for CHERI
arichardson's Repositories
arichardson/cheribsd
FreeBSD adapted for the CHERI CPU. WARNING: some programs contain deliberate vulnerabilities
arichardson/sail
Sail architecture definition language
arichardson/asciidoctor-intellij-plugin
AsciiDoc plugin for products on the IntelliJ platform (IDEA, RubyMine, etc)
arichardson/atf
Libraries to write tests in C, C++ and shell
arichardson/cheri-compressed-cap
A C library to compress/decompress CHERI capabilities
arichardson/cheri-tg
The CHERI TG aims to standardize a CHERI extension to RISC-V for both RV32 and RV64.
arichardson/compiler-explorer
Run compilers interactively from your web browser and interact with the assembly
arichardson/devel-dir-switcher
devel-dir-switcher: Quickly switch between multiple source and build directories
arichardson/docs-resources
arichardson/epoll-shim
small epoll implementation using kqueue; includes all features needed for libinput/libevdev
arichardson/gdb
The GNU debugger extended to support CHERI
arichardson/gem5
The official repository for the gem5 computer-system architecture simulator.
arichardson/git-rebase-first-parent
Rebase merge commits by their first parent, e.g. for vendor imports or "mergify" workflows
arichardson/libuv
Cross-platform asynchronous I/O
arichardson/lk
LK embedded kernel
arichardson/llvm-project
Fork of LLVM adding CHERI support
arichardson/nvi2
A multibyte fork of the nvi editor for BSD
arichardson/picolibc
picolibc - a C library designed for embedded 32- and 64- bit systems.
arichardson/qemu
QEMU with support for CHERI
arichardson/qtbase
QtBase with CHERI support
arichardson/riscv-arch-test
arichardson/riscv-cheri
This repository contains the CHERI extension specification, adding hardware capabilities to RISC-V ISA to enable fine-grained memory protection and scalable compartmentalization.
arichardson/riscv-docs-spec-template
arichardson/riscv-isa-manual
RISC-V Instruction Set Manual
arichardson/rust
Empowering everyone to build reliable and efficient software.
arichardson/sail-cheri-riscv
arichardson/sail-morello
Sail version of the Morello ISA specification
arichardson/sail-riscv
Sail RISC-V model
arichardson/spr
Submit pull requests for individual, amendable, rebaseable commits to GitHub
arichardson/upstream-llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.