[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [MirageOS-devel] Cleaning up the Mini-OS namespace; coordinating development



On 10 Nov 2014, at 11:37, Anil Madhavapeddy <anil@xxxxxxxxxx> wrote:
> 
> On 10 Nov 2014, at 10:29, Martin Lucina <martin@xxxxxxxxxx> wrote:
>> 
>> (Cross-posting to rumpkernel-users at Antti's request)
>> 
>> Hi,
>> 
>> I've been working on cleaning up the Mini-OS namespace so that we can build
>> arbitrary unmodified software with rumprun-xen without running into
>> namespace conflicts.
>> 
>> Given that MirageOS also uses Mini-OS for a similar purpose ("firmware
>> layer" of a standalone Xen stack for building applications), you may be
>> interested in picking these changes, and we could coordinate further
>> development of Mini-OS as far as is practical.
>> 
>> Currently this work is more or less complete and available for review in
>> the "wip-xenos" branch of my Github repository:
>> 
>> https://github.com/mato/rumprun-xen/tree/wip-xenos
>> 
>> The original discussion on the rumpkernel-users list can be found here:
>> 
>> http://thread.gmane.org/gmane.comp.rumpkernel.user/514
> 
> This makes sense to me.  We use upstream MiniOS now (with some patches to
> support installation as a library), so we don't need to do anything
> special to benefit from your patches if you submit them upstream.  Have
> you sent an RFC to xen-devel to get other people's reaction to this?  I
> can't imagine it'll be too contentious if other uses (such as the qemu
> stub domain) are also fixed up to support this.

Incidentally, it might help to regenerate your patch stream over the
https://github.com/mirage/xen repository.  This is a direct mirror of
the upstream Xen trees, and we base our Mirage-specific MiniOS off this
tree.  Also CCing Adam Wick from HalVM as this might help him.

-anil


_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel


 


Rackspace

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.