Re: [PATCH v4 1/2] xen: EXPERT clean-up and introduce UNSUPPORTED

2021-01-26 Thread Stefano Stabellini
On Tue, 26 Jan 2021, Jan Beulich wrote: > On 26.01.2021 12:17, Bertrand Marquis wrote: > > > > > >> On 26 Jan 2021, at 11:11, Jan Beulich wrote: > >> > >> On 26.01.2021 12:06, Bertrand Marquis wrote: > On 26 Jan 2021, at 09:22, Jan Beulich wrote: > On 25.01.2021 22:27, Stefano Stabell

Re: [PATCH v4 1/2] xen: EXPERT clean-up and introduce UNSUPPORTED

2021-01-26 Thread Stefano Stabellini
On Tue, 26 Jan 2021, Julien Grall wrote: > Hi Stefano, > > On 25/01/2021 21:27, Stefano Stabellini wrote: > > config ARM_SSBD > > - bool "Speculative Store Bypass Disable" if EXPERT > > + bool "Speculative Store Bypass Disable (UNSUPPORTED)" if UNSUPPORTED > > depends on HAS_ALTERNATIVE

Re: [PATCH v4 1/2] xen: EXPERT clean-up and introduce UNSUPPORTED

2021-01-26 Thread Jan Beulich
On 26.01.2021 14:17, Ian Jackson wrote: > Jan Beulich writes ("Re: [PATCH v4 1/2] xen: EXPERT clean-up and introduce > UNSUPPORTED"): >> On 26.01.2021 12:17, Bertrand Marquis wrote: >>> Maybe something we could explain more clearly in the UNSUPPORTED/EXPERT >>

Re: [PATCH v4 1/2] xen: EXPERT clean-up and introduce UNSUPPORTED

2021-01-26 Thread Marek Marczykowski-Górecki
On Tue, Jan 26, 2021 at 01:20:14PM +, Bertrand Marquis wrote: > > > > On 26 Jan 2021, at 13:19, Jan Beulich wrote: > > > > On 26.01.2021 14:17, Ian Jackson wrote: > >> Jan Beulich writes ("Re: [PATCH v4 1/2] xen: EXPERT clean-up and introduce > &g

Re: [PATCH v4 1/2] xen: EXPERT clean-up and introduce UNSUPPORTED

2021-01-26 Thread Bertrand Marquis
Hi Julien, > On 26 Jan 2021, at 13:51, Julien Grall wrote: > > Hi Stefano, > > On 25/01/2021 21:27, Stefano Stabellini wrote: >> config ARM_SSBD >> -bool "Speculative Store Bypass Disable" if EXPERT >> +bool "Speculative Store Bypass Disable (UNSUPPORTED)" if UNSUPPORTED >> depend

Re: [PATCH v4 1/2] xen: EXPERT clean-up and introduce UNSUPPORTED

2021-01-26 Thread Julien Grall
Hi Stefano, On 25/01/2021 21:27, Stefano Stabellini wrote: config ARM_SSBD - bool "Speculative Store Bypass Disable" if EXPERT + bool "Speculative Store Bypass Disable (UNSUPPORTED)" if UNSUPPORTED depends on HAS_ALTERNATIVE default y help @@ -87,7 +87,7 @@

Re: [PATCH v4 1/2] xen: EXPERT clean-up and introduce UNSUPPORTED

2021-01-26 Thread Bertrand Marquis
> On 26 Jan 2021, at 13:19, Jan Beulich wrote: > > On 26.01.2021 14:17, Ian Jackson wrote: >> Jan Beulich writes ("Re: [PATCH v4 1/2] xen: EXPERT clean-up and introduce >> UNSUPPORTED"): >>> On 26.01.2021 12:17, Bertrand Marquis wrote: >>>&

Re: [PATCH v4 1/2] xen: EXPERT clean-up and introduce UNSUPPORTED

2021-01-26 Thread Jan Beulich
On 26.01.2021 14:17, Ian Jackson wrote: > Jan Beulich writes ("Re: [PATCH v4 1/2] xen: EXPERT clean-up and introduce > UNSUPPORTED"): >> On 26.01.2021 12:17, Bertrand Marquis wrote: >>> Maybe something we could explain more clearly in the UNSUPPORTED/EXPERT >>

Re: [PATCH v4 1/2] xen: EXPERT clean-up and introduce UNSUPPORTED

2021-01-26 Thread Ian Jackson
Jan Beulich writes ("Re: [PATCH v4 1/2] xen: EXPERT clean-up and introduce UNSUPPORTED"): > On 26.01.2021 12:17, Bertrand Marquis wrote: > > Maybe something we could explain more clearly in the UNSUPPORTED/EXPERT > > config parameters instead ? > > We could also m

Re: [PATCH v4 1/2] xen: EXPERT clean-up and introduce UNSUPPORTED

2021-01-26 Thread Jan Beulich
On 26.01.2021 12:17, Bertrand Marquis wrote: > > >> On 26 Jan 2021, at 11:11, Jan Beulich wrote: >> >> On 26.01.2021 12:06, Bertrand Marquis wrote: On 26 Jan 2021, at 09:22, Jan Beulich wrote: On 25.01.2021 22:27, Stefano Stabellini wrote: > @@ -77,7 +77,7 @@ config SBSA_VUART_CON

Re: [PATCH v4 1/2] xen: EXPERT clean-up and introduce UNSUPPORTED

2021-01-26 Thread Bertrand Marquis
> On 26 Jan 2021, at 11:11, Jan Beulich wrote: > > On 26.01.2021 12:06, Bertrand Marquis wrote: >>> On 26 Jan 2021, at 09:22, Jan Beulich wrote: >>> On 25.01.2021 22:27, Stefano Stabellini wrote: @@ -77,7 +77,7 @@ config SBSA_VUART_CONSOLE SBSA Generic UART implements a subset o

Re: [PATCH v4 1/2] xen: EXPERT clean-up and introduce UNSUPPORTED

2021-01-26 Thread Jan Beulich
On 26.01.2021 12:06, Bertrand Marquis wrote: >> On 26 Jan 2021, at 09:22, Jan Beulich wrote: >> On 25.01.2021 22:27, Stefano Stabellini wrote: >>> @@ -77,7 +77,7 @@ config SBSA_VUART_CONSOLE >>> SBSA Generic UART implements a subset of ARM PL011 UART. >>> >>> config ARM_SSBD >>> - bool "Sp

Re: [PATCH v4 1/2] xen: EXPERT clean-up and introduce UNSUPPORTED

2021-01-26 Thread Bertrand Marquis
Hi, > On 26 Jan 2021, at 09:22, Jan Beulich wrote: > > On 25.01.2021 22:27, Stefano Stabellini wrote: >> A recent thread [1] has exposed a couple of issues with our current way >> of handling EXPERT. >> >> 1) It is not obvious that "Configure standard Xen features (expert >> users)" is actually

Re: [PATCH v4 1/2] xen: EXPERT clean-up and introduce UNSUPPORTED

2021-01-26 Thread Jan Beulich
On 25.01.2021 22:27, Stefano Stabellini wrote: > A recent thread [1] has exposed a couple of issues with our current way > of handling EXPERT. > > 1) It is not obvious that "Configure standard Xen features (expert > users)" is actually the famous EXPERT we keep talking about on xen-devel > > 2) I

[PATCH v4 1/2] xen: EXPERT clean-up and introduce UNSUPPORTED

2021-01-25 Thread Stefano Stabellini
A recent thread [1] has exposed a couple of issues with our current way of handling EXPERT. 1) It is not obvious that "Configure standard Xen features (expert users)" is actually the famous EXPERT we keep talking about on xen-devel 2) It is not obvious when we need to enable EXPERT to get a speci