Align cap_narrow_perms with CLRPERM

rems-project / coq-cheri-capabilities

This repository contains an abstract implementation in Coq of CHERI capabilities, and a concrete implementation for Arm Morello.

1 stars 0 forks source link

Closed ric-almeida closed 1 month ago