On 17/09/2019 11:17, Zenghui Yu wrote: > Hi Marc, > > On 2019/9/17 17:31, Zenghui Yu wrote: >> >> But this time I got the following WARNING: > > Please ignore it. I think this is mostly caused by my local buggy > patch... Sorry for the noise. Right. I couldn't quite figure out how this could happen with the current state of the code... M. -- Jazz is not dead, it just smells funny... _______________________________________________ kvmarm mailing list kvmarm@xxxxxxxxxxxxxxxxxxxxx https://lists.cs.columbia.edu/mailman/listinfo/kvmarm