Repository containing an exploration of seL4's binary verification tools and their application to the kernel [1].
The current goal for this codebase is for it to become an alternative checker for the proof scripts found by the upstream graph-refine tool.