Repository navigation
0.1.2: the runner is dirun; the specification by its minor version - #3
Merged
Merged
Conversation
tools/vm-runner runs the program by dirun with the image's profile (beside the image, as freebsd-disk-image installs it, else tools/freebsd.toml), passing OPENKAL_* and KAL_*; a test runner's events come back from the machine, and the run is limited to OKF_VM_TIMEOUT seconds (1800). tools/vm-run.py, a second implementation of the same conversation, is removed. The manifest declares openkal = "^0.25.0" (openkal clause 8).
Sunrisepeak
force-pushed
the
feat/0.1.2-dirun
branch
from
November 13, 2026 06:41
8f90e5e to
83e884d
Compare
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
tools/vm-runnerruns the program in a FreeBSD machine by dirun (0.3.0), with the image's profile:dirun.tomlbeside the image, as the xim packagefreebsd-disk-imageinstalls it, elsetools/freebsd.toml. The program is delivered on a read-only FAT disk and run from its copy with an empty standard input;OPENKAL_*andKAL_*are passed; a test runner's events are read back from the machine; the run is limited toOKF_VM_TIMEOUTseconds (1800, as before). The README's declaration (runner = ["/path/to/openkal-freebsd/tools/vm-runner", "{}"]) keeps working.tools/vm-run.py, a second implementation of the same conversation, is removed (mcpp design 2026-11-12, 5.5 and C13).openkal = "^0.25.0"(openkal clause 8), so openkal-platform's group can follow openkal 0.25.1.Measured locally: a program run through
vm-runneragainst the FreeBSD 14.5 image (delivered,OPENKAL_*/KAL_*passed, status 9, an mtest event relayed), 19 s under KVM.x86_64-freebsd-musl), run throughtools/vm-runneragainst the FreeBSD 14.5 image: 333 held, 0 did not hold, 12 not observed. The command line the suite is started with (600 characters) is longer than the serial console takes; dirun writes it to the files disk and runs it from there ([command] line-maxintools/freebsd.toml).