From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from eggs.gnu.org ([2001:4830:134:3::10]:37152)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <peter.maydell@linaro.org>) id 1aQaoX-0003ic-9X
	for qemu-devel@nongnu.org; Tue, 02 Feb 2016 08:16:14 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <peter.maydell@linaro.org>) id 1aQaoT-0000t1-9i
	for qemu-devel@nongnu.org; Tue, 02 Feb 2016 08:16:13 -0500
Received: from mail-vk0-x22e.google.com ([2607:f8b0:400c:c05::22e]:33712)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <peter.maydell@linaro.org>) id 1aQaoT-0000sp-5o
	for qemu-devel@nongnu.org; Tue, 02 Feb 2016 08:16:09 -0500
Received: by mail-vk0-x22e.google.com with SMTP id e64so97430721vkg.0
	for <qemu-devel@nongnu.org>; Tue, 02 Feb 2016 05:16:09 -0800 (PST)
MIME-Version: 1.0
In-Reply-To: <20160202125926.GE3688@hawk.localdomain>
References: <20160105134720.GA2393@cbox> <1452016711.16471.6.camel@redhat.com>
	<CAFEAcA_Y6keKPb0Ayjp4yFSdfZXg7rFmxxZ33f=e4R0sV+b8HQ@mail.gmail.com>
	<1452018414.16471.8.camel@redhat.com> <20160106113402.GA13870@cbox>
	<1452084567.4759.6.camel@redhat.com>
	<CAFEAcA9AGYQiWPDH6fcxMo=jycxtKL8c50JmH1TtS4=Qz53-XQ@mail.gmail.com>
	<20160122144432.GJ14825@redhat.com> <20160202114933.GA11792@cbox>
	<20160202121010.GH18461@redhat.com>
	<20160202125926.GE3688@hawk.localdomain>
From: Peter Maydell <peter.maydell@linaro.org>
Date: Tue, 2 Feb 2016 13:15:49 +0000
Message-ID: <CAFEAcA8Mu1LdK9DV3GhYjU8kA0Oi9AedM7x5nVk09znWjYHkxg@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8
Subject: Re: [Qemu-devel] [libvirt] ARM KVM GICv3 Support
List-Id: <qemu-devel.nongnu.org>
List-Unsubscribe: <https://lists.nongnu.org/mailman/options/qemu-devel>,
	<mailto:qemu-devel-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.nongnu.org/archive/html/qemu-devel>
List-Post: <mailto:qemu-devel@nongnu.org>
List-Help: <mailto:qemu-devel-request@nongnu.org?subject=help>
List-Subscribe: <https://lists.nongnu.org/mailman/listinfo/qemu-devel>,
	<mailto:qemu-devel-request@nongnu.org?subject=subscribe>
To: Andrew Jones <drjones@redhat.com>
Cc: Eric Auger <eric.auger@linaro.org>, Libvirt <libvir-list@redhat.com>, Andre Przywara <andre.przywara@arm.com>, Andrea Bolognani <abologna@redhat.com>, QEMU Developers <qemu-devel@nongnu.org>, Marc Zyngier <marc.zyngier@arm.com>, Christoffer Dall <christoffer.dall@linaro.org>

On 2 February 2016 at 12:59, Andrew Jones <drjones@redhat.com> wrote:
> This actually doesn't matter for the v2 vs. v3 case. The gic-version property
> doesn't exist at all for v2-only QEMU. Although maybe the gic-version property
> should be reworked. Instead of gic-version=<highest-supported>, we could create
> one boolean property per version supported, i.e. gicv2, gicv3, gicv4...

QEMU 2.5 released with the gic-version property, so we can't just drop
it now; that would break users' command lines. We'd need a strong
argument for why it's worth adding new properties that duplicate
the legacy syntax.

thanks
- PMM