Fabiano Fidêncio 03c3f4275e kernel: Add CONFIG_TDX_GUEST_DRIVER to the tdx.conf ...

The driver enables the userspace interface to communicate with the TDX
module to request the TDX guest details, like the attestation report.

Fixes: #8555

Signed-off-by: Fabiano Fidêncio <fabiano.fidencio@intel.com>

2023-12-04 10:25:59 +01:00

..

arm64

kernel: enable Arm pl011 support

2023-09-15 01:45:16 +00:00

build-type

upcall: add upcall into kernel build script

2022-12-13 15:44:55 +08:00

common

kernel: Integrate initramfs into Guest kernel

2023-06-06 12:33:41 +02:00

gpu

gpu: Add CC relates configs

2023-06-14 07:56:53 +00:00

powerpc

kernel: remove SYS_SUPPORTS_HUGETLBFS from powerpc fragments

2022-02-18 18:06:50 +05:30

s390

kernel: Add console kernel config for s390

2023-01-31 10:44:07 +01:00

x86_64

kernel: Add CONFIG_TDX_GUEST_DRIVER to the tdx.conf

2023-12-04 10:25:59 +01:00

whitelist.conf

packaging: kernel: Enable VIRTIO_IOMMU on x86_64

2023-09-14 14:23:28 +02:00