On Wed, Nov 08, 2017 at 05:16:23PM +0100, Maxime Villard wrote: > this can't work as-is, you also need to set bits in cr4 and xcr0, and fix > mxcsr_mask thanks! I didn't know there are more differences.