Re: [PATCH v12 00/22] TDX host kernel support

From: Huang, Kai
Date: Wed Jun 28 2023 - 05:07:59 EST


> >
> > 2. CPU hotplug
> >
> > DX doesn't support physical (ACPI) CPU hotplug. A non-buggy BIOS should
> ^^
>
> Need T here.

Thanks!

>
[...]

> > 4. Memory Hotplug
> >
> > After the kernel passes all "TDX-usable" memory regions to the TDX
> > module, the set of "TDX-usable" memory regions are fixed during module's
> > runtime. No more "TDX-usable" memory can be added to the TDX module
> > after that.
> >
> > To achieve above "to guarantee all pages in the page allocator are TDX
> > pages", this series simply choose to reject any non-TDX-usable memory in
> > memory hotplug.
> >
> > 5. Physical Memory Hotplug
> >
> > Note TDX assumes convertible memory is always physically present during
> > machine's runtime. A non-buggy BIOS should never support hot-removal of
> > any convertible memory. This implementation doesn't handle ACPI memory
> > removal but depends on the BIOS to behave correctly.
> >
> > Also, if something insane really happened, 4) makes sure either TDX
>
> Please remove "4)" if have no specific meaning here.
>

It means the mechanism mentioned in "4. Memory hotplug".
>