Links from John Guibas: * https://github.com/succinctlabs/sp1/blob/dev/crates/zkvm/entrypoint/src/syscalls/halt.rs#L36 * https://github.com/succinctlabs/sp1/blob/6c09a3146e285eae8d78a38352e1e53e1dd69e9b/crates/build/src/command/utils.rs#L52-L58 * https://github.com/succinctlabs/sp1/blob/dev/crates/zkvm/entrypoint/src/syscalls/memory.rs#L1-L51 * https://github.com/succinctlabs/sp1/blob/dev/crates/zkvm/entrypoint/src/syscalls/halt.rs#L20-L64 * https://github.com/succinctlabs/sp1/blob/dev/crates/zkvm/entrypoint/src/lib.rs
Links from John Guibas: