> > > > 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". >
