Skip to content

verify: sev: check FMC field in TCB - #19

Merged
elmarco merged 1 commit into
virtee:mainfrom
00xc:sev/fmc
Jul 28, 2026
Merged

elmarco merged 1 commit into
virtee:mainfrom
00xc:sev/fmc

Conversation

@00xc

@00xc 00xc commented Jul 6, 2026

Copy link
Copy Markdown
Contributor

Verify the FMC field within the reported TCB just like it is done with other fields. The FMC field is only present for Turin and newer models.

@elmarco

elmarco commented Jul 21, 2026

Copy link
Copy Markdown
Collaborator

thanks @00xc, shouldn't the VCEK certificate be required to have the FMC field if the attestation has it?

Verify the FMC field within the reported TCB just like it is done with
other fields. The FMC field is only present for Turin and newer models.

Signed-off-by: Carlos López <clopez@suse.de>
@00xc

00xc commented Jul 28, 2026

Copy link
Copy Markdown
Contributor Author

thanks @00xc, shouldn't the VCEK certificate be required to have the FMC field if the attestation has it?

Yeah makes sense, fixed it.

@elmarco
elmarco merged commit a6fd63b into virtee:main Jul 28, 2026
8 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants