Files: /kernel/coco/tdx-guest.html