PS4 is more powerful than Xbox One on paper – but Microsoft will catch up, says Avalanche Studios

[walsufnir]

ithis said:
With the overhead from the game OS running in a virtual machine on Xbone vs the lack of this with the thin OS of the PS4, if anything the difference will widen. That's what I think will happen anyway. But we'll see.

Which virtual-machine exactly? Where are the tech-documents for this?