(RFC) Write a diagnostic marker when provisioning the VMGS

[stunes-ms]

We want to leave a marker in a VMGS file that indicates that it was provisioned originally by HCL, with some diagnostic details (vTPM version, etc.) This is intended to be information-only.

[Copilot]

Pull request overview

This RFC introduces a diagnostic provisioning marker to VMGS files that records metadata about how the file was initially provisioned. The marker captures information such as the provisioner entity (OpenHCL, HCL, etc.), vTPM version and configuration details, and the HCL commit hash.

Key changes:

• New ProvisioningMarker struct and VmgsProvisioner enum in vmgs_format to define the diagnostic marker format
• vTPM-related constants moved to tpm_protocol for reuse across components
• Logic in OpenHCL to write the provisioning marker when a VMGS file is provisioned

Reviewed changes

Copilot reviewed 8 out of 9 changed files in this pull request and generated 3 comments.

Show a summary per file

File	Description
vm/vmgs/vmgs_format/src/lib.rs	Defines the ProvisioningMarker struct, VmgsProvisioner enum, and adds new file ID for the marker
vm/vmgs/vmgs_format/Cargo.toml	Adds tpm_protocol dependency for TpmVersion type
vm/vmgs/vmgs/src/vmgs_impl.rs	Tracks whether VMGS was formatted due to failure, adds accessor method
vm/vmgs/vmgs/Cargo.toml	Reorders dependency (cosmetic change)
vm/devices/tpm/tpm_protocol/src/lib.rs	Defines TpmVersion enum and default TPM configuration constants
vm/devices/tpm/tpm_protocol/Cargo.toml	Adds dependencies needed for the new enum (open_enum, zerocopy)
openhcl/underhill_core/src/worker.rs	Writes provisioning marker to VMGS when file is provisioned
openhcl/underhill_core/Cargo.toml	Adds dependencies for tpm_protocol and vmgs_format