Eduardo Habkost wrote: >> We boot kdump kernel with maxcpus=1. IIUC, in that code path we will not >> be using INIT. So did you try booting kdump kernel with maxcpus=1 and did >> it work for you? If not than problem could be something else. >> vmx also disallows changing some bits in cr0 and cr4; for example you can't switch off paging. This may interfere with the boot sequence. The full set of pleasant surprises is detailed in section 19.8 of the SDM volume 3, "RESTRICTIONS ON VMX OPERATION". -- I have a truly marvellous patch that fixes the bug which this signature is too narrow to contain.
