Keyboard shortcuts

Press ← or → to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

Phase 004 — provision tools

At a glance

FieldValue
Phase familyPhase 0 — forge
Run commandmake phase 004
Underlying make target/scriptvm/phase0/ssh.sh mason ./provision.sh
Runs onguest over SSH
Main proof/artifactBuilds moss and boulder inside the forge.
 
make phase 004

This SSHes into the running forge and builds:

  • moss
  • boulder

from the pinned os-tools commit in config.sh.

Result inside the guest:

/home/mason/.local/bin/moss
/home/mason/.local/bin/boulder

Conceptually:

  • moss manages installed package states atomically
  • boulder builds .stone packages from stone.yaml