From 4c7ade01c4e5c3065e6de4b9db16c71fcd7c6735 Mon Sep 17 00:00:00 2001 From: Pedro Henrique Penna Date: Fri, 2 Oct 2026 10:48:28 -0700 Subject: [PATCH 1/3] Document OpenVMM provenance command Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com> --- doc/usage.md | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/doc/usage.md b/doc/usage.md index 46c6cca3d..9ca18fe47 100644 --- a/doc/usage.md +++ b/doc/usage.md @@ -166,6 +166,17 @@ selection does not probe `/dev/kvm` or `/dev/mshv`, so compilation also works on build-only hosts and hosts exposing both devices. Unsupported OS/backend combinations are rejected. +### `record-openvmm-provenance` + +```console +python3 scripts/nvx.py record-openvmm-provenance +``` + +Records the checked-out OpenVMM revision, clean-state flag, and executable +SHA-256 for the existing `build/openvmm[.exe]` binary in +`build/openvmm.provenance.json`. The command takes no options and requires the +OpenVMM submodule and release binary to already exist. + ### `build` ```text From 9aac77a0df5d54c68bbb19d7e93396ef11561a53 Mon Sep 17 00:00:00 2001 From: Pedro Henrique Penna Date: Fri, 2 Oct 2026 17:03:10 -0700 Subject: [PATCH 2/3] Update usage documentation for OpenVMM command Clarify prerequisites for the command regarding OpenVMM submodule and release binary. Co-authored-by: Copilot Autofix powered by AI <175728472+Copilot@users.noreply.github.com> --- doc/usage.md | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/doc/usage.md b/doc/usage.md index 9ca18fe47..f0cdbb636 100644 --- a/doc/usage.md +++ b/doc/usage.md @@ -174,8 +174,10 @@ python3 scripts/nvx.py record-openvmm-provenance Records the checked-out OpenVMM revision, clean-state flag, and executable SHA-256 for the existing `build/openvmm[.exe]` binary in -`build/openvmm.provenance.json`. The command takes no options and requires the -OpenVMM submodule and release binary to already exist. +`build/openvmm.provenance.json`. The command takes no options. It requires +the OpenVMM submodule to be checked out/initialized and the release binary to +already exist at `build/openvmm` on POSIX or `build/openvmm.exe` on Windows; +the command fails if either prerequisite is missing. ### `build` From 5d80d0d83d88513c274fc95550206584b929f4e5 Mon Sep 17 00:00:00 2001 From: Pedro Henrique Penna Date: Fri, 2 Oct 2026 17:08:51 -0700 Subject: [PATCH 3/3] Fix binary paths in usage documentation Update paths for OpenVMM binary in documentation. Co-authored-by: Copilot Autofix powered by AI <175728472+Copilot@users.noreply.github.com> --- doc/usage.md | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/doc/usage.md b/doc/usage.md index f0cdbb636..e5bd949c9 100644 --- a/doc/usage.md +++ b/doc/usage.md @@ -173,11 +173,12 @@ python3 scripts/nvx.py record-openvmm-provenance ``` Records the checked-out OpenVMM revision, clean-state flag, and executable -SHA-256 for the existing `build/openvmm[.exe]` binary in +SHA-256 for the existing `openvmm/target/release/openvmm[.exe]` binary in `build/openvmm.provenance.json`. The command takes no options. It requires the OpenVMM submodule to be checked out/initialized and the release binary to -already exist at `build/openvmm` on POSIX or `build/openvmm.exe` on Windows; -the command fails if either prerequisite is missing. +already exist at `openvmm/target/release/openvmm` on POSIX or +`openvmm/target/release/openvmm.exe` on Windows. The command fails if either +prerequisite is missing. ### `build`