Re: [Xen-devel] [PATCH v8 02/11] arm: make it possible to disable HAS_GICV3

2018-07-31 Thread Julien Grall
Hi Jan, On 31/07/18 09:04, Jan Beulich wrote: On 30.07.18 at 19:48, wrote: Today it is a silent option. This patch adds a one line description and makes it optional. Signed-off-by: Stefano Stabellini Acked-by: Julien Grall CC: george.dun...@eu.citrix.com CC: ian.jack...@eu.citrix.com CC: jb

Re: [Xen-devel] [PATCH v8 02/11] arm: make it possible to disable HAS_GICV3

2018-07-31 Thread Jan Beulich
>>> On 30.07.18 at 19:48, wrote: > Today it is a silent option. This patch adds a one line description and > makes it optional. > > Signed-off-by: Stefano Stabellini > Acked-by: Julien Grall > CC: george.dun...@eu.citrix.com > CC: ian.jack...@eu.citrix.com > CC: jbeul...@suse.com > CC: andre

[Xen-devel] [PATCH v8 02/11] arm: make it possible to disable HAS_GICV3

2018-07-30 Thread Stefano Stabellini
Today it is a silent option. This patch adds a one line description and makes it optional. Signed-off-by: Stefano Stabellini Acked-by: Julien Grall CC: george.dun...@eu.citrix.com CC: ian.jack...@eu.citrix.com CC: jbeul...@suse.com CC: andrew.coop...@citrix.com --- Changes in v3: - remove any c