xref: /linux/arch/x86/coco/Makefile (revision 772ba9b5bd2701a9967c084b66ff1daaee0367eb)