Package checkconfig defines the message type for the check CLI tool's options.

Package tdx implements a protocol buffer for representing TDX attestations.