xref: /linux/arch/x86/coco/Makefile (revision 221013afb459e5deb8bd08e29b37050af5586d1c)