Projects in Awesome Lists tagged with hypercall
A curated list of projects in awesome lists tagged with hypercall .
https://github.com/logsem/vmsl
Verifying FF-A hypercalls using VMSL.
coq ff-a hypercall iris logical-relation robust-safety separation-logic
Last synced: 25 Mar 2025
