1 #include "error.h" 2 #include "../../coco/tdx/tdx-shared.c" 3
Linux® is a registered trademark of Linus Torvalds in the United States and other countries. TOMOYO® is a registered trademark of NTT DATA CORPORATION.