On 3/25/23 09:01, Kirill A. Shutemov wrote:> The last item is tricky. TDX guests use ACPI MADT MPWK to bring up> secondary CPUs. The mechanism doesn't allow to put a CPU back offline if> it has woken up.I'm not sure I like this approach.TDX uses the MADT exclusively.MADT-based systems can't offline CPUs.kexec() requires