On Thursday, December 19, 2013 1:54:48 pm Roger Pau Monne wrote: > On PVH we don't need to init the shared info page, or disable emulated > devices. Also, make sure PV IPIs are set before starting the APs. Looks ok to me. -- John Baldwin