Split gives two seL4 workers private configuration snapshots through a userspace pager that copies shared pages on first write and scrubs discarded frames before reuse, with an Isabelle model exported to OCaml for checking guest memory operations.
f044a95a6b — jamesVerified11 days ago
feat(snapshot): prove promotion preserves unselected snapshot contents
97648de5fc — jamesVerified2 months ago
refactor(layout): relocate proof guest and host build inputs
36fd34c522 — jamesVerified2 months ago
test(pager): check recycling preserves isolation after remapping
languages
- Isabelle51.3%
- OCaml32.1%
- C15.4%
- Shell1.2%