[PATCH v5 0/5] TDX host: kexec() support

Sagi Shahar
2024-08-19T21:21:58Z

> Currently kexec() support and TDX host are muturally exclusive in the
> Kconfig. This series adds the TDX host kexec support so that they can
> work together and can be enabled at the same time in the Kconfig.

I tried testing the kexec functionality and noticed that the TDX module
fails initialization on the second kernel so you can't actually kexec
between 2 kernels that enable TDX. Is that the expected behavior? Are
there future patches to enable that functionality?