risc0-build-kernel (cargo): RISC Zero tool for building kernels
Keywords: cryptography|risc-v|rust|stark|virtual-machine|zero-knowledge