Re: [Xen-devel] [PATCH v5 0/10] arm: more kconfig configurability and small default configs

2018-06-13 Thread Stefano Stabellini
On Tue, 12 Jun 2018, Julien Grall wrote: > > diff --git a/SUPPORT.md b/SUPPORT.md > > index 264b23f..e70f35c 100644 > > --- a/SUPPORT.md > > +++ b/SUPPORT.md > > @@ -16,6 +16,18 @@ for the definitions of the support status levels etc. > > # Feature Support > > +## Kconfig > > + > > +On x86,

Re: [Xen-devel] [PATCH v5 0/10] arm: more kconfig configurability and small default configs

2018-06-13 Thread Stefano Stabellini
On Wed, 13 Jun 2018, Jan Beulich wrote: > >>> On 12.06.18 at 21:53, wrote: > > On Tue, 12 Jun 2018, Jan Beulich wrote: > >> >> >> As a consequence of these changes, some options will become > >> >> >> user-visible > >> >> >> and not dependent on CONFIG_EXPERT. It does not mean that Xen Project >

Re: [Xen-devel] [PATCH v5 0/10] arm: more kconfig configurability and small default configs

2018-06-13 Thread Jan Beulich
>>> On 12.06.18 at 21:53, wrote: > On Tue, 12 Jun 2018, Jan Beulich wrote: >> >> >> As a consequence of these changes, some options will become >> >> >> user-visible >> >> >> and not dependent on CONFIG_EXPERT. It does not mean that Xen Project >> >> >> will security support all possible

Re: [Xen-devel] [PATCH v5 0/10] arm: more kconfig configurability and small default configs

2018-06-12 Thread Julien Grall
Hi Stefano, On 12/06/2018 20:53, Stefano Stabellini wrote: On Tue, 12 Jun 2018, Jan Beulich wrote: As a consequence of these changes, some options will become user-visible and not dependent on CONFIG_EXPERT. It does not mean that Xen Project will security support all possible combinations of

Re: [Xen-devel] [PATCH v5 0/10] arm: more kconfig configurability and small default configs

2018-06-12 Thread Stefano Stabellini
On Tue, 12 Jun 2018, Jan Beulich wrote: > >> >> As a consequence of these changes, some options will become user-visible > >> >> and not dependent on CONFIG_EXPERT. It does not mean that Xen Project > >> >> will security support all possible combinations of kconfig options. > >> >> Instead, there

Re: [Xen-devel] [PATCH v5 0/10] arm: more kconfig configurability and small default configs

2018-06-12 Thread Jan Beulich
>>> On 12.06.18 at 02:41, wrote: > On Wed, 6 Jun 2018, Jan Beulich wrote: >> >>> On 05.06.18 at 19:52, wrote: >> >> > >> > On 04/06/18 18:23, Stefano Stabellini wrote: >> >> Hi all, >> >> >> >> This patch series is the first step toward building a small certifiable >> >> Xen hypervisor for

Re: [Xen-devel] [PATCH v5 0/10] arm: more kconfig configurability and small default configs

2018-06-11 Thread Stefano Stabellini
On Wed, 6 Jun 2018, Jan Beulich wrote: > >>> On 05.06.18 at 19:52, wrote: > > > > > On 04/06/18 18:23, Stefano Stabellini wrote: > >> Hi all, > >> > >> This patch series is the first step toward building a small certifiable > >> Xen hypervisor for ARM boards. > >> > >> First, the series makes

Re: [Xen-devel] [PATCH v5 0/10] arm: more kconfig configurability and small default configs

2018-06-06 Thread Jan Beulich
>>> On 05.06.18 at 19:52, wrote: > > On 04/06/18 18:23, Stefano Stabellini wrote: >> Hi all, >> >> This patch series is the first step toward building a small certifiable >> Xen hypervisor for ARM boards. >> >> First, the series makes a few changes to allow disabling more kconfig >> options:

Re: [Xen-devel] [PATCH v5 0/10] arm: more kconfig configurability and small default configs

2018-06-05 Thread Julien Grall
On 04/06/18 18:23, Stefano Stabellini wrote: Hi all, Hi, This patch series is the first step toward building a small certifiable Xen hypervisor for ARM boards. First, the series makes a few changes to allow disabling more kconfig options: most of them already exist but cannot be disabled.

Re: [Xen-devel] [PATCH v5 0/10] arm: more kconfig configurability and small default configs

2018-06-05 Thread Julien Grall
On 04/06/18 18:23, Stefano Stabellini wrote: Hi all, This patch series is the first step toward building a small certifiable Xen hypervisor for ARM boards. First, the series makes a few changes to allow disabling more kconfig options: most of them already exist but cannot be disabled. Then,

Re: [Xen-devel] [PATCH v5 0/10] arm: more kconfig configurability and small default configs

2018-06-05 Thread Manish Jaggi
Hi Stefano, On 06/04/2018 10:53 PM, Stefano Stabellini wrote: Hi all, This patch series is the first step toward building a small certifiable Xen hypervisor for ARM boards. How much code size can be reduced ? any ballpark figure First, the series makes a few changes to allow disabling more

[Xen-devel] [PATCH v5 0/10] arm: more kconfig configurability and small default configs

2018-06-04 Thread Stefano Stabellini
Hi all, This patch series is the first step toward building a small certifiable Xen hypervisor for ARM boards. First, the series makes a few changes to allow disabling more kconfig options: most of them already exist but cannot be disabled. Then, it introduces a reference kconfig for Renesas