On Sun, Jun 11, 2023 at 11:25:13PM -0500, Michael Roth wrote: > Currently CONFIG_HAS_CC_PLATFORM is a prereq for building anything in > arch/x86/coco, but that is generally only applicable for guest support. > > For SEV-SNP, helpers related purely to host support will also live in > arch/x86/coco. To allow for CoCo-related host support code in > arch/x86/coco, move that check down into the Makefile and check for it > specifically when needed. Hm. TDX host support uses arch/x86/virt/vmx/tdx/. I think we need to be consistent here. IIRC, Borislav proposed the scheme that TDX uses. -- Kiryl Shutsemau / Kirill A. Shutemov
