Pinned Loading
Repositories
Showing 10 of 57 repositories
- cn-tutorial Public
rems-project/cn-tutorial’s past year of commit activity - linux Public
Linux fork used in the REMS project. Mostly working of pKVM developement at: https://android-kvm.googlesource.com/linux/
rems-project/linux’s past year of commit activity - c-tree-carver Public Forked from logicmachine/cpp-simplifier
Tree-carve C source tree given a root file/functions
rems-project/c-tree-carver’s past year of commit activity - sail-tiny-arm Public
rems-project/sail-tiny-arm’s past year of commit activity - coq-cheri-capabilities Public
This repository contains an abstract implementation in Coq of CHERI capabilities, and a concrete implementation for Arm Morello.
rems-project/coq-cheri-capabilities’s past year of commit activity