Skip to content

Conversation

@jakecorrenti
Copy link
Member

  • In the TDVF module, ensure that structs are not just packed, but also #[repr(C)]
  • Dynamically determine the support number of cpuid configs that TDX will report rather than using a hard coded value of 24.

Fixes: #18, #19

@jakecorrenti
Copy link
Member Author

jakecorrenti commented Nov 21, 2025

cc/ @RainaYL

WIP for now while I test it Tested with libkrun and didn't have any issues

Different generations of TDX may report a different number of cpuid
configs. Support determining this number on the fly rather than
hardcoding a value.

Fixes: virtee#18

Signed-off-by: Jake Correnti <[email protected]>
@jakecorrenti jakecorrenti marked this pull request as ready for review November 21, 2025 21:10
@jakecorrenti jakecorrenti changed the title [WIP] Fix various bugs Fix various bugs Nov 21, 2025
@jakecorrenti jakecorrenti linked an issue Nov 21, 2025 that may be closed by this pull request
Copy link
Member

@tylerfanelli tylerfanelli left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM.

@tylerfanelli tylerfanelli merged commit 6819a61 into virtee:main Nov 24, 2025
2 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.

Use #[repr(C, packed)] for TDVF-related structs Increase the buffer size used for get_capabilities

2 participants