Hello Christoffer, Unfortunately I don't think I will have the chance to implement lazy switching within these days. Maybe if we decide on the strategy used for the switch, and for an interim solution like the one suggested by Rusty, I could provide a patch on that. Best regards, Antonios On 05/15/2012 05:08 PM, Christoffer Dall wrote: > We need to implement lazy switching of FPU state for the guest for the > initial version of this patch to be merged. > > Antonios, can you prepare this within a reasonable time frame? > > Thanks, > Christoffer