hypercall

Here are 2 public repositories matching this topic...

Userspace macOS translation layer for Linux ARM64

macos linux emulator rust macho syscall darling hypercall

Verifying FF-A hypercalls using VMSL.

coq iris separation-logic logical-relation hypercall ff-a robust-safety

To associate your repository with the hypercall topic, visit your repo's landing page and select "manage topics."