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

[Wei Liu <wei.liu2@xxxxxxxxxx>]

On Mon, Jan 26, 2015 at 06:42:11PM +0100, Martin Lucina wrote:
> talex5@xxxxxxxxx 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 that's where the Mirage fork of Mini-OS lives. I knew there was one,
> but not where. Any other forks please speak up :-)
> 

I think HaLVM (Haskell VM on Xen) also uses mini-os. I forgot to CC
Adam@Galios at the beginning (now done).

Adam, in case you're wondering what's going on, the start of this thread
is
  <1422209626-9926-1-git-send-email-wei.liu2@xxxxxxxxxx>

Feel free to chime in.

Wei.

> Which parts of Mini-OS does Mirage actually use? I know you have an OCaml
> implementation of netfront, for instance.
> 
> > 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.
> 
> +1
> 
> It would be useful to coordinate work. We (Rump Kernels) have also done a
> bunch of changes to our fork [1], including ongoing work on namespacing
> Mini-OS APIs (see [2] in case you missed it).
> 
> Martin
> 
> [1] https://github.com/rumpkernel/rumprun-xen/tree/master/xen
> [2] http://thread.gmane.org/gmane.comp.rumpkernel.user/581

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel