We are aware of four TDX disclosures related to our systems.
Two of them: INTEL-SA-01421 and INTEL-SA-01462 are related to Intel’s TDX DCAP verification library and the Intel’s Guest software, which we are not using.
The other two: INTEL-SA-01419 and INTEL-SA-01442 are related to TDX Module and microcode vulnerabilities, and they have already been mitigated prior to the public disclosure in all affected systems (TDX module v1.5.25, microcode version 20260811). The vulnerabilities also do not affect BuilderNet specifically as there are no untrusted privileged users in the system. Hosts running BuilderNet nodes will also be patched shortly to avoid any unlikely scenario where the vulnerabilities are exploited.