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

[Wei Liu <wei.liu2@citrix.com>]

Cc Ian and Ian and some folks who might be interested in this work.

On Sun, Jan 25, 2015 at 06:13:41PM +0000, 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 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 base. Later I would also like to setup
> a proper push gate for mini-os.
> 
> Stubdom's build environment is known to be very fragile, so basically all the
> real work is done in top level Makefile.
> 
> I use following runes to split off mini-os:
> 
>   git filter-branch --tag-name-filter cat \
>     --subdirectory-filter extras/mini-os/ -- --all
> 
>   # There is already a tag name 4.3.0-rc2 which points to the same commit.
>   git tag -d xen-4.3.0-rc2
> 
>   # Add xen- prefix to all tags
>   for t in `git tag`; do git tag "xen-$t" "$t"; git tag -d "$t" ; done
> 
>   git gc --aggressive
>   
> The tree can be found at:
>   git://xenbits.xen.org/people/liuw/mini-os.git master
> 
> Note that mini-os cannot build on its own due to the limitation of it's own
> build system. Splitting it off it's the first step towards fixing that problem
> 
> Wei.
> 
> Wei Liu (5):
>   Makefile: refactor build/clean/distclean targets
>   stubdom: don't look for mini-os source file during configure
>   git-checkout.sh: use "mkdir -p"
>   Makefile: stubdom targets now depend on mini-os target
>   Remove in-tree mini-os directory
>