xref: /linux/drivers/virt/coco/Kconfig (revision fdd7c7e0d2ab3987882c570612d4622f437292c7)