Re: [Xen-devel] [PATCH RFC 0/5] Split off mini-os to a separate tree

2015-01-30 Thread Wei Liu
On Fri, Jan 30, 2015 at 11:49:41AM +, Thomas Leonard wrote: [...] > > Is libfdt required? I see inclusion of libfdt.h in arch/arm/mm.c but I > > couldn't find trace to link libfdt in Makefile. And I ran a simple test > > to compile minios in Xen tree on an arm board it doesn't compile. > > > >

Re: [Xen-devel] [PATCH RFC 0/5] Split off mini-os to a separate tree

2015-01-30 Thread Thomas Leonard
On 30 January 2015 at 11:26, Wei Liu wrote: > On Mon, Jan 26, 2015 at 09:53:25AM +, Thomas Leonard wrote: >> [ Cc += Anil ] >> >> On 25 January 2015 at 18:25, Wei Liu wrote: >> > Cc Ian and Ian and some folks who might be interested in this work. >> > >> > On Sun, Jan 25, 2015 at 06:13:41PM +

Re: [Xen-devel] [PATCH RFC 0/5] Split off mini-os to a separate tree

2015-01-30 Thread Wei Liu
On Mon, Jan 26, 2015 at 09:53:25AM +, Thomas Leonard wrote: > [ Cc += Anil ] > > On 25 January 2015 at 18:25, Wei Liu wrote: > > Cc Ian and Ian and some folks who might be interested in this work. > > > > On Sun, Jan 25, 2015 at 06:13:41PM +, Wei Liu wrote: > >> There has been increasing

Re: [Xen-devel] [PATCH RFC 0/5] Split off mini-os to a separate tree

2015-01-29 Thread Wei Liu
On Tue, Jan 27, 2015 at 02:19:23PM +, Anil Madhavapeddy wrote: [...] > > > > That makes reconciling some of these long running forks annoying, > since they branched off xen.git. It doesn't matter if you split/fix > in any order, but it's nice to have one changeset against xen.git that > brea

Re: [Xen-devel] [PATCH RFC 0/5] Split off mini-os to a separate tree

2015-01-29 Thread Samuel Thibault
Wei Liu, le Thu 29 Jan 2015 11:09:04 +, a écrit : > In fact, stubdom should be treated as a downstream of mini-os as with > any other unikernel. This can help us discover any dishonesty in API > design and code. Right :) Samuel ___ Xen-devel mailin

Re: [Xen-devel] [PATCH RFC 0/5] Split off mini-os to a separate tree

2015-01-29 Thread Wei Liu
On Tue, Jan 27, 2015 at 01:18:02PM +0100, Samuel Thibault wrote: > Hello, > > Wei Liu, le Sun 25 Jan 2015 18:13:41 +, a écrit : > > There has been increasing use of mini-os in unikernel world and basically > > everybody has their own fork of mini-os. That way going foward is going > > to cause

Re: [Xen-devel] [PATCH RFC 0/5] Split off mini-os to a separate tree

2015-01-27 Thread Ian Campbell
On Tue, 2015-01-27 at 15:27 +, Ian Jackson wrote: > Ian Campbell writes ("Re: [PATCH RFC 0/5] Split off mini-os to a separate > tree"): > > On Tue, 2015-01-27 at 14:48 +, Ian Jackson wrote: > > > libdft is its own project. I have no idea why we have a copy of it in > > > xen.git. I think

Re: [Xen-devel] [PATCH RFC 0/5] Split off mini-os to a separate tree

2015-01-27 Thread Ian Jackson
Ian Campbell writes ("Re: [PATCH RFC 0/5] Split off mini-os to a separate tree"): > On Tue, 2015-01-27 at 14:48 +, Ian Jackson wrote: > > libdft is its own project. I have no idea why we have a copy of it in > > xen.git. I think this is wrong. > > This is for use by (i.e. linking into) the

Re: [Xen-devel] [PATCH RFC 0/5] Split off mini-os to a separate tree

2015-01-27 Thread Ian Campbell
On Tue, 2015-01-27 at 14:48 +, Ian Jackson wrote: > > 2. xen/common/libfdt > > 3. xen/include/xen/libfdt > > libdft is its own project. I have no idea why we have a copy of it in > xen.git. I think this is wrong. This is for use by (i.e. linking into) the Xen kernel, not the tools etc. It's

Re: [Xen-devel] [PATCH RFC 0/5] Split off mini-os to a separate tree

2015-01-27 Thread Ian Jackson
Thomas Leonard writes ("Re: [PATCH RFC 0/5] Split off mini-os to a separate tree"): > In case it's useful: for the standalone version of Mini-OS used by > Mirage, I had to include these directories too: > > 1. xen/include/public Official Xen policy is that OSs that want to run on Xen should take

Re: [Xen-devel] [PATCH RFC 0/5] Split off mini-os to a separate tree

2015-01-27 Thread Anil Madhavapeddy
On 27 Jan 2015, at 11:52, Wei Liu wrote: > > On Mon, Jan 26, 2015 at 10:57:57AM +, Anil Madhavapeddy wrote: >> On 26 Jan 2015, at 09:53, Thomas Leonard wrote: >>> >>> [ Cc += Anil ] >>> >>> On 25 January 2015 at 18:25, Wei Liu wrote: Cc Ian and Ian and some folks who might be interes

Re: [Xen-devel] [PATCH RFC 0/5] Split off mini-os to a separate tree

2015-01-27 Thread Samuel Thibault
Hello, Wei Liu, le Sun 25 Jan 2015 18:13:41 +, a écrit : > There has been increasing use of mini-os in unikernel world and basically > everybody has their own fork of mini-os. That way going foward is going > to cause fragmentation of the community. > > We would like to split off mini-os tree

Re: [Xen-devel] [PATCH RFC 0/5] Split off mini-os to a separate tree

2015-01-27 Thread Ian Campbell
On Tue, 2015-01-27 at 11:52 +, Wei Liu wrote: > Splitting should be done sooner in the release cycle rather than later > IMHO. I agree, it should be done very soon and we should avoid letting the perfect be the enemy of taking the first step (to mix a few idoims). > > What's the planned relea

Re: [Xen-devel] [PATCH RFC 0/5] Split off mini-os to a separate tree

2015-01-27 Thread Wei Liu
On Mon, Jan 26, 2015 at 10:57:57AM +, Anil Madhavapeddy wrote: > On 26 Jan 2015, at 09:53, Thomas Leonard wrote: > > > > [ Cc += Anil ] > > > > On 25 January 2015 at 18:25, Wei Liu wrote: > >> Cc Ian and Ian and some folks who might be interested in this work. > >> > >> On Sun, Jan 25, 201

Re: [Xen-devel] [PATCH RFC 0/5] Split off mini-os to a separate tree

2015-01-27 Thread Wei Liu
On Mon, Jan 26, 2015 at 06:42:11PM +0100, Martin Lucina wrote: > tal...@gmail.com said: > > In case it's useful: for the standalone version of Mini-OS used by > > Mirage, I had to include these directories too: > > > > 1. xen/include/public > > 2. xen/common/libfdt > > 3. xen/include/xen/libfdt >

Re: [Xen-devel] [PATCH RFC 0/5] Split off mini-os to a separate tree

2015-01-27 Thread Wei Liu
On Mon, Jan 26, 2015 at 09:53:25AM +, Thomas Leonard wrote: > [ Cc += Anil ] > > On 25 January 2015 at 18:25, Wei Liu wrote: > > Cc Ian and Ian and some folks who might be interested in this work. > > > > On Sun, Jan 25, 2015 at 06:13:41PM +, Wei Liu wrote: > >> There has been increasing

Re: [Xen-devel] [PATCH RFC 0/5] Split off mini-os to a separate tree

2015-01-26 Thread Anil Madhavapeddy
On 26 Jan 2015, at 18:49, Thomas Leonard wrote: > > On 26 January 2015 at 17:56, Anil Madhavapeddy wrote: >> On 26 Jan 2015, at 17:42, Martin Lucina wrote: >>> >>> tal...@gmail.com said: In case it's useful: for the standalone version of Mini-OS used by Mirage, I had to include these

Re: [Xen-devel] [PATCH RFC 0/5] Split off mini-os to a separate tree

2015-01-26 Thread Thomas Leonard
On 26 January 2015 at 17:56, Anil Madhavapeddy wrote: > On 26 Jan 2015, at 17:42, Martin Lucina wrote: >> >> tal...@gmail.com said: >>> In case it's useful: for the standalone version of Mini-OS used by >>> Mirage, I had to include these directories too: >>> >>> 1. xen/include/public >>> 2. xen/c

Re: [Xen-devel] [PATCH RFC 0/5] Split off mini-os to a separate tree

2015-01-26 Thread Anil Madhavapeddy
On 26 Jan 2015, at 18:21, Martin Lucina wrote: > > a...@recoil.org said: >> On 26 Jan 2015, at 17:42, Martin Lucina wrote: >>> >>> tal...@gmail.com said: In case it's useful: for the standalone version of Mini-OS used by Mirage, I had to include these directories too: 1. xe

Re: [Xen-devel] [PATCH RFC 0/5] Split off mini-os to a separate tree

2015-01-26 Thread Martin Lucina
a...@recoil.org said: > On 26 Jan 2015, at 17:42, Martin Lucina wrote: > > > > tal...@gmail.com said: > >> In case it's useful: for the standalone version of Mini-OS used by > >> Mirage, I had to include these directories too: > >> > >> 1. xen/include/public > >> 2. xen/common/libfdt > >> 3. xen

Re: [Xen-devel] [PATCH RFC 0/5] Split off mini-os to a separate tree

2015-01-26 Thread Anil Madhavapeddy
On 26 Jan 2015, at 17:42, Martin Lucina wrote: > > tal...@gmail.com said: >> In case it's useful: for the standalone version of Mini-OS used by >> Mirage, I had to include these directories too: >> >> 1. xen/include/public >> 2. xen/common/libfdt >> 3. xen/include/xen/libfdt >> 4. config >> >>

Re: [Xen-devel] [PATCH RFC 0/5] Split off mini-os to a separate tree

2015-01-26 Thread Martin Lucina
tal...@gmail.com said: > In case it's useful: for the standalone version of Mini-OS used by > Mirage, I had to include these directories too: > > 1. xen/include/public > 2. xen/common/libfdt > 3. xen/include/xen/libfdt > 4. config > > ( https://github.com/talex5/xen/tree/minios-releases ) Ah, so

Re: [Xen-devel] [PATCH RFC 0/5] Split off mini-os to a separate tree

2015-01-26 Thread Ian Jackson
Wei Liu writes ("Re: [PATCH RFC 0/5] Split off mini-os to a separate tree"): > Cc Ian and Ian and some folks who might be interested in this work. Thanks. This is all good. I think we need some changes to osstest too because we will want a push gate for xen's minios. I don't think we want to ke

Re: [Xen-devel] [PATCH RFC 0/5] Split off mini-os to a separate tree

2015-01-26 Thread Anil Madhavapeddy
On 26 Jan 2015, at 09:53, Thomas Leonard wrote: > > [ Cc += Anil ] > > On 25 January 2015 at 18:25, Wei Liu wrote: >> Cc Ian and Ian and some folks who might be interested in this work. >> >> On Sun, Jan 25, 2015 at 06:13:41PM +, Wei Liu wrote: >>> There has been increasing use of mini-os

Re: [Xen-devel] [PATCH RFC 0/5] Split off mini-os to a separate tree

2015-01-26 Thread Thomas Leonard
[ Cc += Anil ] On 25 January 2015 at 18:25, Wei Liu wrote: > Cc Ian and Ian and some folks who might be interested in this work. > > On Sun, Jan 25, 2015 at 06:13:41PM +, Wei Liu wrote: >> There has been increasing use of mini-os in unikernel world and basically >> everybody has their own for

Re: [Xen-devel] [PATCH RFC 0/5] Split off mini-os to a separate tree

2015-01-25 Thread Wei Liu
Cc Ian and Ian and some folks who might be interested in this work. On Sun, Jan 25, 2015 at 06:13:41PM +, Wei Liu wrote: > There has been increasing use of mini-os in unikernel world and basically > everybody has their own fork of mini-os. That way going foward is going > to cause fragmentatio

[Xen-devel] [PATCH RFC 0/5] Split off mini-os to a separate tree

2015-01-25 Thread Wei Liu
There has been increasing use of mini-os in unikernel world and basically everybody has their own fork of mini-os. That way going foward is going to cause fragmentation of the community. We would like to split off mini-os tree so that everybody can upstream their changes and work on a common code