All of lore.kernel.org
 help / color / mirror / Atom feed
From: Thomas Leonard <talex5@gmail.com>
To: Wei Liu <wei.liu2@citrix.com>
Cc: Ian Campbell <ian.campbell@citrix.com>,
	Stefano Stabellini <stefano.stabellini@eu.citrix.com>,
	Anil Madhavapeddy <anil@recoil.org>,
	Ian Jackson <Ian.Jackson@eu.citrix.com>,
	xen-devel@lists.xen.org, pooka@iki.fi, quan.xu@intel.com,
	Samuel Thibault <samuel.thibault@ens-lyon.org>,
	dgdegra@tycho.nsa.gov
Subject: Re: [PATCH RFC 0/5] Split off mini-os to a separate tree
Date: Fri, 30 Jan 2015 11:49:41 +0000	[thread overview]
Message-ID: <CAG4opy9NQKfYBzi04--34RuHtSyLssuYuNvEfGv6SNx7E5muWg@mail.gmail.com> (raw)
In-Reply-To: <20150130112603.GA6334@zion.uk.xensource.com>

On 30 January 2015 at 11:26, Wei Liu <wei.liu2@citrix.com> wrote:
> On Mon, Jan 26, 2015 at 09:53:25AM +0000, Thomas Leonard wrote:
>> [ Cc += Anil ]
>>
>> On 25 January 2015 at 18:25, Wei Liu <wei.liu2@citrix.com> wrote:
>> > 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
>>
>> 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
>
> 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.
>
> If arm support is still WIP I'm going to ignore libfdt for now.

The ARM port works fine, but you need to apply the last couple of
patches in the series (the rest are already in). The latest versions
are on my "next" branch here:

  https://github.com/talex5/xen/commits/next

If you want to test it, you need these two:

- mini-os: arm: interrupt controller
- mini-os: arm: build system

> Wei.
>
>> 4. config
>>
>> ( https://github.com/talex5/xen/tree/minios-releases )
>>
>> Will there be a separate mailing list for Mini-OS? That would be very
>> useful for people who don't want to keep up with xen-devel.
>>
>> Thanks!
>>
>>
>> --
>> Dr Thomas Leonard        http://0install.net/
>> GPG: 9242 9807 C985 3C07 44A6  8B9A AE07 8280 59A5 3CC1
>> GPG: DA98 25AE CAD0 8975 7CDA  BD8E 0713 3F96 CA74 D8BA



-- 
Dr Thomas Leonard        http://0install.net/
GPG: 9242 9807 C985 3C07 44A6  8B9A AE07 8280 59A5 3CC1
GPG: DA98 25AE CAD0 8975 7CDA  BD8E 0713 3F96 CA74 D8BA

  reply	other threads:[~2015-01-30 11:49 UTC|newest]

Thread overview: 34+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2015-01-25 18:13 [PATCH RFC 0/5] Split off mini-os to a separate tree Wei Liu
2015-01-25 18:13 ` [PATCH RFC 1/5] Makefile: refactor build/clean/distclean targets Wei Liu
2015-01-25 18:13 ` [PATCH RFC 2/5] stubdom: don't look for mini-os source file during configure Wei Liu
2015-01-25 18:13 ` [PATCH RFC 3/5] git-checkout.sh: use "mkdir -p" Wei Liu
2015-01-25 18:13 ` [PATCH RFC 4/5] Makefile: stubdom targets now depend on mini-os target Wei Liu
2015-01-26 10:43   ` Jan Beulich
2015-01-26 10:54     ` Wei Liu
2015-01-25 18:13 ` [PATCH RFC 5/5] Remove in-tree mini-os directory Wei Liu
2015-01-25 18:25 ` [PATCH RFC 0/5] Split off mini-os to a separate tree Wei Liu
2015-01-26  9:53   ` Thomas Leonard
2015-01-26 10:57     ` Anil Madhavapeddy
2015-01-27 11:52       ` Wei Liu
2015-01-27 12:16         ` Ian Campbell
2015-01-27 14:19         ` Anil Madhavapeddy
2015-01-29 15:47           ` Wei Liu
2015-01-26 17:42     ` Martin Lucina
2015-01-26 17:56       ` Anil Madhavapeddy
2015-01-26 18:21         ` Martin Lucina
2015-01-26 18:24           ` Anil Madhavapeddy
2015-01-26 18:49         ` Thomas Leonard
2015-01-26 21:19           ` Anil Madhavapeddy
2015-01-27 11:56       ` Wei Liu
2015-01-27 11:48     ` Wei Liu
2015-01-27 14:48     ` Ian Jackson
2015-01-27 15:08       ` Ian Campbell
2015-01-27 15:27         ` Ian Jackson
2015-01-27 15:45           ` Ian Campbell
2015-01-30 11:26     ` Wei Liu
2015-01-30 11:49       ` Thomas Leonard [this message]
2015-01-30 12:31         ` Wei Liu
2015-01-26 15:44   ` Ian Jackson
2015-01-27 12:18 ` Samuel Thibault
2015-01-29 11:09   ` Wei Liu
2015-01-29 12:08     ` Samuel Thibault

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=CAG4opy9NQKfYBzi04--34RuHtSyLssuYuNvEfGv6SNx7E5muWg@mail.gmail.com \
    --to=talex5@gmail.com \
    --cc=Ian.Jackson@eu.citrix.com \
    --cc=anil@recoil.org \
    --cc=dgdegra@tycho.nsa.gov \
    --cc=ian.campbell@citrix.com \
    --cc=pooka@iki.fi \
    --cc=quan.xu@intel.com \
    --cc=samuel.thibault@ens-lyon.org \
    --cc=stefano.stabellini@eu.citrix.com \
    --cc=wei.liu2@citrix.com \
    --cc=xen-devel@lists.xen.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.