pytdxattest 0.0.11

No project description provided

TDX Attestation Tool

The measurement tool runs within TD guest to get RTMR value from TDREPORT via Linux attestation driver, and gets the full TD event log from CCEL ACPI table. Then it uses the TD event log to verify the RTMR value or change.

CSP or tenant developer could use it to analyze and debug the TDX measurement before providing the TDX guest VM.

Overview

The RTMR stands for Run-time Measurement Register, recording measurement for the component participating in the booting process. As of 2023.4, TDX supports four RTMRs, including RTMR[0], RTMR[1], RTMR[2] and RTMR[3].

The same RTMR may store measurement for different section in direct boot or grub boot.

1. Direct boot

• RTMR[0]: It stores the measurement for the TDVF configuration. Changes on a part of the tdvm launch parameters, such memory size, will affect the final measurement.
• RTMR[1]: It stores the measurement for the kernel and cmdline passed to the kernel.
• RTMR[2] and RTMR[3]: They are reserved and can be used by the guest software to extend the measurement.

2. Grub boot

• RTMR[0]: It works as it does in the direct boot.
• RTMR[1]: It stores the measurement for the OS loader, such as grub.
• RTMR[2]: It works as it does in the direct boot.
• RTMR[3]: It is reserved and can be used by the guest software to extend the measurement.

More details can be found in the Articles-906357 and Commit 9d2b64a

Prerequisites

The Log Area Start Address (LASA) is from ACPI CCEL table. Please see GHCI specification.

Run

1. Get Event Log

   ./tdx_eventlogs
   

   The example output for the event log in grub boot and direct boot

2. Get TD Report

   ./tdx_tdreport
   

3. Verify the RTMR

   ./tdx_verify_rtmr
   

4. Extend the RTMR

   ./tdx_extend_rtmr -s 'test_extend_rtmr' -i 3
   

   User can extend RTMR register with different kinds of data, including raw data(with '-r', must be 48B length), string data(with '-s', will be converted to SHA384 digest) and SHA384 digest string(with '-d'). User can also change the index of RTMR register by using '-i'.

Installation

Build and install TDX Measurement Tool:

python3 setup.py bdist_wheel
pip3 install dist/*.whl --force-reinstall