Re: [Xen-devel] Enhancing Xen's Kconfig infrastructure to support tailored solutions

2019-02-24 Thread Daniel P. Smith
On 2/15/19 4:35 AM, George Dunlap wrote: > > >> On Feb 13, 2019, at 7:11 PM, Stefano Stabellini >> wrote: >> >> On Wed, 13 Feb 2019, Wei Liu wrote: >>> On Tue, Feb 12, 2019 at 09:34:25PM -0500, Daniel P. Smith wrote: The initial focus will be to explore and document the range of possible

Re: [Xen-devel] Enhancing Xen's Kconfig infrastructure to support tailored solutions

2019-02-19 Thread P S
On Feb 19, 2019, at 14:13, Stefano Stabellini wrote: > >> On Mon, 18 Feb 2019, Lars Kurth wrote: >> On 18 Feb 2019, at 12:16, George Dunlap >> wrote: >> >> On 2/18/19 12:11 PM, George Dunlap wrote: >> On 2/18/19 12:01 PM, Andrew Cooper wrote: >>On 18/02/2019 11:57, Wei Li

Re: [Xen-devel] Enhancing Xen's Kconfig infrastructure to support tailored solutions

2019-02-19 Thread Stefano Stabellini
On Mon, 18 Feb 2019, Lars Kurth wrote: > On 18 Feb 2019, at 12:16, George Dunlap > wrote: > > On 2/18/19 12:11 PM, George Dunlap wrote: > On 2/18/19 12:01 PM, Andrew Cooper wrote: > On 18/02/2019 11:57, Wei Liu wrote: > On Mon, Feb 18, 2019 at 11:53:15AM

Re: [Xen-devel] Enhancing Xen's Kconfig infrastructure to support tailored solutions

2019-02-18 Thread Lars Kurth
> On 18 Feb 2019, at 12:16, George Dunlap wrote: > > On 2/18/19 12:11 PM, George Dunlap wrote: >> On 2/18/19 12:01 PM, Andrew Cooper wrote: >>> On 18/02/2019 11:57, Wei Liu wrote: On Mon, Feb 18, 2019 at 11:53:15AM +, Lars Kurth wrote: > >> On 18 Feb 2019, at 11:30, George Dun

Re: [Xen-devel] Enhancing Xen's Kconfig infrastructure to support tailored solutions

2019-02-18 Thread George Dunlap
On 2/18/19 12:11 PM, George Dunlap wrote: > On 2/18/19 12:01 PM, Andrew Cooper wrote: >> On 18/02/2019 11:57, Wei Liu wrote: >>> On Mon, Feb 18, 2019 at 11:53:15AM +, Lars Kurth wrote: > On 18 Feb 2019, at 11:30, George Dunlap wrote: > > On 2/18/19 11:23 AM, Wei Liu wrote: >>>

Re: [Xen-devel] Enhancing Xen's Kconfig infrastructure to support tailored solutions

2019-02-18 Thread George Dunlap
On 2/18/19 12:01 PM, Andrew Cooper wrote: > On 18/02/2019 11:57, Wei Liu wrote: >> On Mon, Feb 18, 2019 at 11:53:15AM +, Lars Kurth wrote: >>> On 18 Feb 2019, at 11:30, George Dunlap wrote: On 2/18/19 11:23 AM, Wei Liu wrote: > On Mon, Feb 18, 2019 at 11:17:56AM +, Lars

Re: [Xen-devel] Enhancing Xen's Kconfig infrastructure to support tailored solutions

2019-02-18 Thread Lars Kurth
> On 18 Feb 2019, at 12:01, Andrew Cooper wrote: > > On 18/02/2019 11:57, Wei Liu wrote: >> On Mon, Feb 18, 2019 at 11:53:15AM +, Lars Kurth wrote: >>> On 18 Feb 2019, at 11:30, George Dunlap wrote: On 2/18/19 11:23 AM, Wei Liu wrote: > On Mon, Feb 18, 2019 at 11:17:56

Re: [Xen-devel] Enhancing Xen's Kconfig infrastructure to support tailored solutions

2019-02-18 Thread Andrew Cooper
On 18/02/2019 11:57, Wei Liu wrote: > On Mon, Feb 18, 2019 at 11:53:15AM +, Lars Kurth wrote: >> >>> On 18 Feb 2019, at 11:30, George Dunlap wrote: >>> >>> On 2/18/19 11:23 AM, Wei Liu wrote: On Mon, Feb 18, 2019 at 11:17:56AM +, Lars Kurth wrote: > Thank you Wei. It's interesting

Re: [Xen-devel] Enhancing Xen's Kconfig infrastructure to support tailored solutions

2019-02-18 Thread Lars Kurth
> On 18 Feb 2019, at 11:57, Wei Liu wrote: > > On Mon, Feb 18, 2019 at 11:53:15AM +, Lars Kurth wrote: >> >> >>> On 18 Feb 2019, at 11:30, George Dunlap wrote: >>> >>> On 2/18/19 11:23 AM, Wei Liu wrote: On Mon, Feb 18, 2019 at 11:17:56AM +, Lars Kurth wrote: > Thank you We

Re: [Xen-devel] Enhancing Xen's Kconfig infrastructure to support tailored solutions

2019-02-18 Thread Wei Liu
On Mon, Feb 18, 2019 at 11:53:15AM +, Lars Kurth wrote: > > > > On 18 Feb 2019, at 11:30, George Dunlap wrote: > > > > On 2/18/19 11:23 AM, Wei Liu wrote: > >> On Mon, Feb 18, 2019 at 11:17:56AM +, Lars Kurth wrote: > >>> Thank you Wei. It's interesting though that the full vs HVM only

Re: [Xen-devel] Enhancing Xen's Kconfig infrastructure to support tailored solutions

2019-02-18 Thread Lars Kurth
> On 18 Feb 2019, at 11:30, George Dunlap wrote: > > On 2/18/19 11:23 AM, Wei Liu wrote: >> On Mon, Feb 18, 2019 at 11:17:56AM +, Lars Kurth wrote: >>> Thank you Wei. It's interesting though that the full vs HVM only is almost >>> identical in terms of SLOC's >>> Lars >> >> The cloc targe

Re: [Xen-devel] Enhancing Xen's Kconfig infrastructure to support tailored solutions

2019-02-18 Thread George Dunlap
On 2/18/19 11:23 AM, Wei Liu wrote: > On Mon, Feb 18, 2019 at 11:17:56AM +, Lars Kurth wrote: >> Thank you Wei. It's interesting though that the full vs HVM only is almost >> identical in terms of SLOC's >> Lars > > The cloc target counts the files in the dependency graph generated by > make.

Re: [Xen-devel] Enhancing Xen's Kconfig infrastructure to support tailored solutions

2019-02-18 Thread Wei Liu
On Mon, Feb 18, 2019 at 11:17:56AM +, Lars Kurth wrote: > Thank you Wei. It's interesting though that the full vs HVM only is almost > identical in terms of SLOC's > Lars The cloc target counts the files in the dependency graph generated by make. A lot of the files contain both common x86 cod

Re: [Xen-devel] Enhancing Xen's Kconfig infrastructure to support tailored solutions

2019-02-18 Thread Lars Kurth
Thank you Wei. It's interesting though that the full vs HVM only is almost identical in terms of SLOC's Lars > On 18 Feb 2019, at 11:12, Wei Liu wrote: > > On Fri, Feb 15, 2019 at 11:08:41AM -0800, Stefano Stabellini wrote: > [...] >>> >>> Not sure how Stefano got the 157k number. Here are som

Re: [Xen-devel] Enhancing Xen's Kconfig infrastructure to support tailored solutions

2019-02-18 Thread Wei Liu
On Fri, Feb 15, 2019 at 11:08:41AM -0800, Stefano Stabellini wrote: [...] > > > > Not sure how Stefano got the 157k number. Here are some results from > > staging. > > See my attached .config I see. So these are non-debug builds. I have rerun with your config. * HVM only -- Stefano's config cl

Re: [Xen-devel] Enhancing Xen's Kconfig infrastructure to support tailored solutions

2019-02-15 Thread Stefano Stabellini
On Fri, 15 Feb 2019, Wei Liu wrote: > On Thu, Feb 14, 2019 at 09:03:24PM +, Lars Kurth wrote: > > > > > > > On 14 Feb 2019, at 18:32, Stefano Stabellini > > > wrote: > > > > > > On Thu, 14 Feb 2019, Jan Beulich wrote: > > > On 13.02.19 at 20:11, wrote: > > >>> On Wed, 13 Feb 2019, Wei

Re: [Xen-devel] Enhancing Xen's Kconfig infrastructure to support tailored solutions

2019-02-15 Thread Stefano Stabellini
On Fri, 15 Feb 2019, George Dunlap wrote: > > On Feb 15, 2019, at 5:36 PM, Stefano Stabellini > > wrote: > > > > On Fri, 15 Feb 2019, George Dunlap wrote: > >>> On Feb 13, 2019, at 7:11 PM, Stefano Stabellini > >>> wrote: > >>> > >>> On Wed, 13 Feb 2019, Wei Liu wrote: > On Tue, Feb 12,

Re: [Xen-devel] Enhancing Xen's Kconfig infrastructure to support tailored solutions

2019-02-15 Thread George Dunlap
> On Feb 15, 2019, at 5:36 PM, Stefano Stabellini > wrote: > > On Fri, 15 Feb 2019, George Dunlap wrote: >>> On Feb 13, 2019, at 7:11 PM, Stefano Stabellini >>> wrote: >>> >>> On Wed, 13 Feb 2019, Wei Liu wrote: On Tue, Feb 12, 2019 at 09:34:25PM -0500, Daniel P. Smith wrote: > Gre

Re: [Xen-devel] Enhancing Xen's Kconfig infrastructure to support tailored solutions

2019-02-15 Thread Stefano Stabellini
On Fri, 15 Feb 2019, George Dunlap wrote: > > On Feb 13, 2019, at 7:11 PM, Stefano Stabellini > > wrote: > > > > On Wed, 13 Feb 2019, Wei Liu wrote: > >> On Tue, Feb 12, 2019 at 09:34:25PM -0500, Daniel P. Smith wrote: > >>> Greetings, > >>> > >>> On the 11/14/18 Xen x86 community call a discus

Re: [Xen-devel] Enhancing Xen's Kconfig infrastructure to support tailored solutions

2019-02-15 Thread Stefano Stabellini
On Fri, 15 Feb 2019, Jan Beulich wrote: > >>> On 14.02.19 at 19:32, wrote: > > Do you have any other suggestions about things that could be removed to > > reach down to 100K LOC, in addition to what you have already written > > above (Intel/AMD, shadow)? > > If you mean ones we already have Kconf

Re: [Xen-devel] Enhancing Xen's Kconfig infrastructure to support tailored solutions

2019-02-15 Thread Lars Kurth
> On 15 Feb 2019, at 09:35, George Dunlap wrote: > >>> >>> As use case goes, it would be a good start if you just submit something >>> you care about. >> >> I mentioned on the call that a good first start could be a kconfig that >> allows to build an hypervisor binary with only support for PV

Re: [Xen-devel] Enhancing Xen's Kconfig infrastructure to support tailored solutions

2019-02-15 Thread Wei Liu
On Thu, Feb 14, 2019 at 09:03:24PM +, Lars Kurth wrote: > > > > On 14 Feb 2019, at 18:32, Stefano Stabellini wrote: > > > > On Thu, 14 Feb 2019, Jan Beulich wrote: > > On 13.02.19 at 20:11, wrote: > >>> On Wed, 13 Feb 2019, Wei Liu wrote: > On Tue, Feb 12, 2019 at 09:34:25PM -0500

Re: [Xen-devel] Enhancing Xen's Kconfig infrastructure to support tailored solutions

2019-02-15 Thread Wei Liu
On Thu, Feb 14, 2019 at 10:32:31AM -0800, Stefano Stabellini wrote: > > Do you have any other suggestions about things that could be removed to > reach down to 100K LOC, in addition to what you have already written > above (Intel/AMD, shadow)? Turning off some of the decompression algorithms can

Re: [Xen-devel] Enhancing Xen's Kconfig infrastructure to support tailored solutions

2019-02-15 Thread George Dunlap
> On Feb 13, 2019, at 7:11 PM, Stefano Stabellini > wrote: > > On Wed, 13 Feb 2019, Wei Liu wrote: >> On Tue, Feb 12, 2019 at 09:34:25PM -0500, Daniel P. Smith wrote: >>> Greetings, >>> >>> On the 11/14/18 Xen x86 community call a discussion was initiated about >>> using Kconfig to build mini

Re: [Xen-devel] Enhancing Xen's Kconfig infrastructure to support tailored solutions

2019-02-15 Thread Jan Beulich
>>> On 14.02.19 at 19:32, wrote: > Do you have any other suggestions about things that could be removed to > reach down to 100K LOC, in addition to what you have already written > above (Intel/AMD, shadow)? If you mean ones we already have Kconfig options for, then you could drop TBOOT, which in

Re: [Xen-devel] Enhancing Xen's Kconfig infrastructure to support tailored solutions

2019-02-15 Thread Jan Beulich
>>> On 14.02.19 at 19:57, wrote: > There is only really one interrupt controller in x86, and it hasn't > changed much since the 486. Well, restricting ourselves to just x2APIC would perhaps remove some code, but not all that much. Jan ___ Xen-devel

Re: [Xen-devel] Enhancing Xen's Kconfig infrastructure to support tailored solutions

2019-02-14 Thread Lars Kurth
> On 14 Feb 2019, at 18:32, Stefano Stabellini wrote: > > On Thu, 14 Feb 2019, Jan Beulich wrote: > On 13.02.19 at 20:11, wrote: >>> On Wed, 13 Feb 2019, Wei Liu wrote: On Tue, Feb 12, 2019 at 09:34:25PM -0500, Daniel P. Smith wrote: > Greetings, > > On the 11/14/18 Xen x

Re: [Xen-devel] Enhancing Xen's Kconfig infrastructure to support tailored solutions

2019-02-14 Thread Andrew Cooper
On 14/02/2019 18:32, Stefano Stabellini wrote: > On Thu, 14 Feb 2019, Jan Beulich wrote: > On 13.02.19 at 20:11, wrote: >>> On Wed, 13 Feb 2019, Wei Liu wrote: On Tue, Feb 12, 2019 at 09:34:25PM -0500, Daniel P. Smith wrote: > Greetings, > > On the 11/14/18 Xen x86 community c

Re: [Xen-devel] Enhancing Xen's Kconfig infrastructure to support tailored solutions

2019-02-14 Thread Andrew Cooper
On 14/02/2019 09:53, Jan Beulich wrote: On 13.02.19 at 20:11, wrote: >> On Wed, 13 Feb 2019, Wei Liu wrote: >>> On Tue, Feb 12, 2019 at 09:34:25PM -0500, Daniel P. Smith wrote: Greetings, On the 11/14/18 Xen x86 community call a discussion was initiated about using Kconfig

Re: [Xen-devel] Enhancing Xen's Kconfig infrastructure to support tailored solutions

2019-02-14 Thread Stefano Stabellini
On Thu, 14 Feb 2019, Jan Beulich wrote: > >>> On 13.02.19 at 20:11, wrote: > > On Wed, 13 Feb 2019, Wei Liu wrote: > >> On Tue, Feb 12, 2019 at 09:34:25PM -0500, Daniel P. Smith wrote: > >> > Greetings, > >> > > >> > On the 11/14/18 Xen x86 community call a discussion was initiated about > >> > u

Re: [Xen-devel] Enhancing Xen's Kconfig infrastructure to support tailored solutions

2019-02-14 Thread Jan Beulich
>>> On 13.02.19 at 20:11, wrote: > On Wed, 13 Feb 2019, Wei Liu wrote: >> On Tue, Feb 12, 2019 at 09:34:25PM -0500, Daniel P. Smith wrote: >> > Greetings, >> > >> > On the 11/14/18 Xen x86 community call a discussion was initiated about >> > using Kconfig to build minimized versions of Xen for se

Re: [Xen-devel] Enhancing Xen's Kconfig infrastructure to support tailored solutions

2019-02-13 Thread Stefano Stabellini
On Wed, 13 Feb 2019, Wei Liu wrote: > On Tue, Feb 12, 2019 at 09:34:25PM -0500, Daniel P. Smith wrote: > > Greetings, > > > > On the 11/14/18 Xen x86 community call a discussion was initiated about > > using Kconfig to build minimized versions of Xen for security, safety > > and other certificatio

Re: [Xen-devel] Enhancing Xen's Kconfig infrastructure to support tailored solutions

2019-02-13 Thread Wei Liu
On Tue, Feb 12, 2019 at 09:34:25PM -0500, Daniel P. Smith wrote: > Greetings, > > On the 11/14/18 Xen x86 community call a discussion was initiated about > using Kconfig to build minimized versions of Xen for security, safety > and other certification requirements. After some offline discussions >

Re: [Xen-devel] Enhancing Xen's Kconfig infrastructure to support tailored solutions

2019-02-13 Thread Jan Beulich
>>> On 13.02.19 at 03:34, wrote: > The initial focus will be to explore and document the range of possible > use cases that are of interest to the Xen community. This will be the > input to a design document that is crafted in conjunction with the Xen > maintainers, to identify possible approaches

[Xen-devel] Enhancing Xen's Kconfig infrastructure to support tailored solutions

2019-02-12 Thread Daniel P. Smith
Greetings, On the 11/14/18 Xen x86 community call a discussion was initiated about using Kconfig to build minimized versions of Xen for security, safety and other certification requirements. After some offline discussions with Xen contributors I realized that a variety of efforts each with their o