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 > > 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.l...@citrix.com> 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@lists.xen.org http://lists.xen.org/xen-devel
