Instructions file CodexOpenCode
Instructions for coconut-svsm/svsm, covering directory structure, building and testing, build recipes, igvm and formal verification with verus.
239 4d ago A 4,005 tokens
original MIT
Instructions file CodexOpenCode
Instructions for coconut-svsm/svsm, covering directory structure, building and testing, build recipes, igvm and formal verification with verus.