Add killswitch documentation

bytecodealliance / lucet

Lucet, the Sandboxing WebAssembly Compiler.

Apache License 2.0

4.06k stars 165 forks source link

Add killswitch documentation #495

Closed iximeow closed 4 years ago

iximeow commented 4 years ago

This adds a decently-sized chapter to our Lucet mdbook discussing KillSwitch, its implementation, and correctness in the face of various edge cases we must consider. It even has a diagram!