Fabiano Fidêncio 89a5faef7a runtime: Add configuration file for QEMU TDX ...

Let's add a new configuration file for using a QEMU (and all the needed
artefacts) that are TDX capable.

This PR extends the Makefile in order to provide variables to be set
during the build time that are needed for the proper configuration of
the VMM, such as:
* Specific kernel parameters to be used with TDX
* Specific kernel features to be used when using TDX
* Artefacts path for the artefacts built to be used with TDX
  * QEMU
  * Kernel
  * TDVF

The reason we don't hack into the current QEMU configuration file is
because we want to ship both configurations, with for the non-TEE use
case and one for the TDX use case.

Fixes: #4830

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

2022-08-08 09:54:48 +02:00

..

amd64-options.mk

runtime: Add configuration file for QEMU TDX

2022-08-08 09:54:48 +02:00

arm64-options.mk

Makefile: add CLHCMD in arm64-options.mk

2020-07-29 16:38:19 +08:00

ppc64le-options.mk

qemu: Remove PMU feature for Power (ppc64le) platform

2020-06-30 04:04:38 -07:00

s390x-options.mk

runtime: Use CC=gcc on SUSE s390x too

2021-07-08 15:01:32 +02:00