Re: [MirageOS-devel] [win-pv-devel] [PATCH v5 3/3] Significant changes to decision making; some new roles and minor changes

2017-02-15 Thread Stefano Stabellini
On Wed, 15 Feb 2017, Lars Kurth wrote: > Hi all, > > I am kind of stuck on this one and wanted to pick up the discussion again. > Apologies that it took so long. > > To to summarise, we all are agreed on most sections of the proposal, > with the exception of decision making across projects. One

Re: [MirageOS-devel] [Xen-devel] [win-pv-devel] [PATCH v5 3/3] Significant changes to decision making; some new roles and minor changes

2017-02-15 Thread Konrad Rzeszutek Wilk
> >> We could split out the following git repos: mini-os, osstest, raisin, > >> livepatch-build-tools, xtf , xentesttools/* > >> In terms of contributions per release, there is more activity than Windows > >> PV Drivers, which are a separate project. > > > > I see what you meant now. That could b

Re: [MirageOS-devel] [PATCH v5 1/3] Code motion changes to make real patches easier to read

2017-02-15 Thread Konrad Rzeszutek Wilk
On Wed, Nov 23, 2016 at 12:20:44PM +, Lars Kurth wrote: > Added TOC > Re-arranged sections compared to previous version of document > Added new anchors where needed > Split Roles section into two sections > > The actual content was not changed (with the exception of minor > typos that I spotte

Re: [MirageOS-devel] [PATCH v5 2/3] Added document containing governance related todo list

2017-02-15 Thread Konrad Rzeszutek Wilk
On Wed, Nov 23, 2016 at 12:20:45PM +, Lars Kurth wrote: > Contains items that at some point need to be addressed. > The items do not directly affect governance.pandoc > > Signed-off-by: Lars Kurth Reviewed-by: Konrad Rzeszutek Wilk > --- > governance.todo | 23 +++ > 1

Re: [MirageOS-devel] Use local Irmin repo as Canopy backend

2017-02-15 Thread Richard Mortier
On 15 February 2017 at 15:14, Luis Carlos Oviedo Garcia wrote: >> (Not picking on this message particularly but just in case others have >> observed similar effects: I just had about 5 messages, including >> Carlos', that were sent to the list several days ago show up in my >> inbox having been de

Re: [MirageOS-devel] Use local Irmin repo as Canopy backend

2017-02-15 Thread Luis Carlos Oviedo Garcia
On 15 February 2017 at 15:06, Richard Mortier wrote: > On 15 February 2017 at 13:48, Hannes Mehnert wrote: > > On 10/02/2017 16:33, Carlos Oviedo wrote: > >> I'm a bit lost over here, could anyone point me to the right > >> documentation to use the Irmin backend for Canopy instead of using a Git

Re: [MirageOS-devel] Use local Irmin repo as Canopy backend

2017-02-15 Thread Richard Mortier
On 15 February 2017 at 13:48, Hannes Mehnert wrote: > On 10/02/2017 16:33, Carlos Oviedo wrote: >> I'm a bit lost over here, could anyone point me to the right >> documentation to use the Irmin backend for Canopy instead of using a Git >> repository? > > I guess nobody has done yet ;) (Not pickin

Re: [MirageOS-devel] Use local Irmin repo as Canopy backend

2017-02-15 Thread Carlos Oviedo
Thanks for your reply, I'm having a look at the irmin issue mentioned. I'm using the following versions of git and irmin: ~$ opam list | grep git git 1.8.0 Git format and protocol in pure OCaml git-unix1.7.1 Virtual package to install and co

Re: [MirageOS-devel] Use local Irmin repo as Canopy backend

2017-02-15 Thread Hannes Mehnert
hello, On 10/02/2017 16:33, Carlos Oviedo wrote: > I'm a bit lost over here, could anyone point me to the right > documentation to use the Irmin backend for Canopy instead of using a Git > repository? I guess nobody has done yet ;) > ~/workspace/Canopy$ ./mir-canopy -r > 2017-02-10 16:30.15: ERR

Re: [MirageOS-devel] [win-pv-devel] [PATCH v5 3/3] Significant changes to decision making; some new roles and minor changes

2017-02-15 Thread Lars Kurth
Hi all, I am kind of stuck on this one and wanted to pick up the discussion again. Apologies that it took so long. To to summarise, we all are agreed on most sections of the proposal, with the exception of decision making across projects. One option is to just apply what we agreed on and leave t

mirageos-devel@lists.xenproject.org

2017-02-15 Thread Chris Fegan
Hi Folks, I've been reading a lot of this group's research papers in preparation for Marrakech. I think I'm getting a sense for how the various pieces fit together. The reading has lead me to wonder if there is a "master plan" for linking MirageOS, FLICK, many-core ARMv8 & SR-IOV. It seems as t

[MirageOS-devel] Canopy integration with Irmin backend

2017-02-15 Thread Carlos Oviedo
Hello, I'm a bit lost over here, could anyone point me to the right documentation to use the Irmin backend for Canopy instead of using a Git repository? I have started my local Irmin Git backend (irmin init -d -v -s git) on the directory which contains my Canopy content (~/irmin-canopy-data),

[MirageOS-devel] Qns about Unikernels/hypervisors/baremetal/security

2017-02-15 Thread Michael Bright
I've been looking at Unikernels for a while and am starting to present on the subject, but I still have a few basic questions ... I understand that runnings unikernels above a hypervisor such as Xen removes the need to include h/w device drivers in the unikernel itself. For embedded/IoT applicati

[MirageOS-devel] Canopy integration with Irmin backend

2017-02-15 Thread Luis Oviedo GarcĂ­a
Hello, I'm a bit lost over here, could anyone point me to the right documentation to use the Irmin backend for Canopy instead of using a Git repository? I have started my local Irmin Git backend (irmin init -d -v -s git) on the directory which contains my Canopy content (~/irmin-canopy-data), p

[MirageOS-devel] Use local Irmin repo as Canopy backend

2017-02-15 Thread Carlos Oviedo
Hello, I'm a bit lost over here, could anyone point me to the right documentation to use the Irmin backend for Canopy instead of using a Git repository? I have started my local Irmin Git backend (irmin init -d -v -s git) on the directory which contains my Canopy content (~/irmin-canopy-data),