On 04/19/2013 05:21 PM, Giridhar Maruthy wrote: > Hi Marc, > > Here is the log on a recent kernel: > Sorry Marc, my mistake. Had missed some patches on 3.9 rc4. With the series pointed by you, cpu hotplug is tested and works fine on exynos5440 host with guest OS running. Thanks, Giridhar _______________________________________________ kvmarm mailing list kvmarm@xxxxxxxxxxxxxxxxxxxxx https://lists.cs.columbia.edu/cucslists/listinfo/kvmarm