Sebastien Boeuf 495e444ca6 vmm: Add ACPI tables to TdVmmData when running TDX ...

Whenever running TDX, we must pass the ACPI tables to the TDVF firmware
running in the guest. The proper way to do this is by adding the tables
to the TdHob as a TdVmmData type, so that TDVF will know how to access
these tables and expose them to the guest OS.

Signed-off-by: Sebastien Boeuf <sebastien.boeuf@intel.com>

2021-09-30 06:35:55 -07:00

..

src

vmm: Add ACPI tables to TdVmmData when running TDX

2021-09-30 06:35:55 -07:00

Cargo.toml

build: bump libc from 0.2.102 to 0.2.103

2021-09-28 10:45:35 +00:00