A preview is not available for this record, please engage by choosing from the available options ‘download’ or ‘view’ to engage with the material
            
            
            
            
                
                
                    Description
                    
                        Application Binary Interface (ABI) specification of the Intel TDX module (what changed since the last version).