Re: [PATCH 0/10] nEPT: Nested EPT support for Nested VMX

2011-12-12 Thread Avi Kivity
On 12/12/2011 01:37 PM, Nadav Har'El wrote: > On Sun, Nov 13, 2011, Avi Kivity wrote about "Re: [PATCH 0/10] nEPT: Nested > EPT support for Nested VMX": > > > I also believed that the fault injection part was also correct: I > > > thought that the code alrea

Re: [PATCH 0/10] nEPT: Nested EPT support for Nested VMX

2011-12-12 Thread Nadav Har'El
On Sun, Nov 13, 2011, Avi Kivity wrote about "Re: [PATCH 0/10] nEPT: Nested EPT support for Nested VMX": > > I also believed that the fault injection part was also correct: I > > thought that the code already knows when to handle the fault in L2 (when > > the addre

Re: [PATCH 0/10] nEPT: Nested EPT support for Nested VMX

2011-11-13 Thread Avi Kivity
On 11/13/2011 10:52 AM, Nadav Har'El wrote: > Hi, > > On Thu, Nov 10, 2011, Avi Kivity wrote about "Re: [PATCH 0/10] nEPT: Nested > EPT support for Nested VMX": > > This patchset is missing a fairly hairy patch that makes reading L2 > > virtual addresses wo

Re: [PATCH 0/10] nEPT: Nested EPT support for Nested VMX

2011-11-13 Thread Nadav Har'El
Hi, On Thu, Nov 10, 2011, Avi Kivity wrote about "Re: [PATCH 0/10] nEPT: Nested EPT support for Nested VMX": > This patchset is missing a fairly hairy patch that makes reading L2 > virtual addresses work. This was supposed to be part of the nested TDP code that is already in t

Re: [PATCH 0/10] nEPT: Nested EPT support for Nested VMX

2011-11-10 Thread Avi Kivity
On 11/10/2011 11:57 AM, Nadav Har'El wrote: > The following patches add nested EPT support to Nested VMX. > > Nested EPT means emulating EPT for an L1 guest, allowing it use EPT when > running a nested guest L2. When L1 uses EPT, it allows the L2 guest to set > its own cr3 and take its own page fau