Fabiano Fidêncio 98682805be config: Add configuration for QEMU TDX ...

As the QEMU configuration for TDX differs quite a lot from the normal
QEMU configuration, let's add a new configuration file for the QEMU TDX.

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

2023-04-11 16:10:35 +02:00

..

amd64-options.mk

config: Add configuration for QEMU TDX

2023-04-11 16:10:35 +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