On Tue, Mar 10, 2020 at 4:29 PM Krish Sadhukhan <krish.sadhukhan@xxxxxxxxxx> wrote: > > Even thought today's x86 hardware uses paging and not segmentation for memory > management, it is still good to have some tests that can verify the sanity of > the segment register fields on vmentry of nested guests. > > The test on SS Selector field is failing because the hardware (I am using > Intel Xeon Platinum 8167M 2.00GHz) doesn't raise any error even if the > prescribed bit pattern is not set and as a result vmentry succeeds. Are you sure this isn't just an L0 bug? For instance, does your L0 set "unrestricted guest" in vmcs02, even when L1 doesn't set it in vmcs12?
