spawn_child_s/lib.rs
1//! Sub-VM child guest. CALLed by the parent (Image M) with an
2//! input `Cap::Data` in `slot[0]`. Reads the bytes, computes their
3//! wrapping byte-sum, publishes the result as a single-byte
4//! `Cap::Data` back into `slot[0]`, and HALTs. The kernel's
5//! HALT-reflect path moves the child's `slot[0]` back into the
6//! parent's `slot[0]`.
7
8#![cfg_attr(target_os = "none", no_std)]
9
10use subsoil as _;