Add ACPI support for TDX implementation of Dragonball

openanolis / dragonball-sandbox

Dragonball-sandbox is a collection of Rust crates to help build custom Virtual Machine Monitors and hypervisors.

Apache License 2.0

88 stars 41 forks source link

Closed studychao closed 1 year ago

studychao commented 1 year ago

We need to create a create called dbs-acpi to provide data structure support of ACPI for Dragonball