TEE TCB => TEE Firmware TCB, which will be SEAM module for Intel TDX Firmware TCB ==> Guest Firmware TCB
TEE TCB => TEE Firmware TCB, which will be SEAM module for Intel TDX
Firmware TCB ==> Guest Firmware TCB