StarOS's I2-C image admits its User services from an SPK1 package that
the loader stages in MEM2 before the Starlet's first instruction (StarOS
docs/contracts/spk-staging.md). --stage-spk <file> places the file at
the package window's base, 0x13720000, once the image is loaded: the
address is the contract's, never an argument. The bytes are copied as
the file holds them (big-endian words) and read back before the first
instruction; a window that does not read back fails the run.
The file is read and checked before anything is set up. A missing or
unreadable file, an empty one, one whose length is not whole 32-bit
words or that exceeds the 128 KiB window ends the run with its reason on
stderr and exit status 4, before StarOS starts. The option given twice
or without its file is a usage error (exit 2). The probe checks none of
SPK1's fields or digests: that is StarOS's job.
The size rule and the window are in ProbeStaging.h, tested by
StarletProbeStagingTest. Without the option the probe runs as before.
Co-Authored-By: Claude Opus 5.5 <[email protected]>
Yaya48andClaude Opus 5.5
9d66381b3d