On Wed, Jun 28, 2023 at 08:12:55AM +0000, Huang, Kai wrote: > > > > > > 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". Ah I see, it's fine to me, thanks. > >
