Platform: ASRock Rack SPC741D8, Xeon Sapphire Rapids. Firmware: Dasharo, coreboot + edk2 payload. Launch path: GETSEC[SENTER] with the SINIT ACM, Xen and dom0 measured into PCRs 17-18.

[flagged]