2018-06-21 12:40+0100, Marc Zyngier: > Radim, Paolo: are you happy with me taking this through the kvmarm tree? Yes, please do. Acked-by: Radim Krčmář <rkrcmar@xxxxxxxxxx> _______________________________________________ kvmarm mailing list kvmarm@xxxxxxxxxxxxxxxxxxxxx https://lists.cs.columbia.edu/mailman/listinfo/kvmarm