Re: [MirageOS-devel] build workflow

2016-12-01 Thread Thomas Gazagnaire
> - mirage configure should recompile the configuration > according to > - mirage build should build, and error out if the unikernel was not > configured upfront How do you work with multiple target/config in parallel with this workflow? Do you need to reconfigure if want to switch between back

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

2016-12-01 Thread Lars Kurth
On 30/11/2016 23:27, "Stefano Stabellini" wrote: >On Wed, 23 Nov 2016, Lars Kurth wrote: >> >> -Formal Votes {#formal-votes} >> - >> - >> -Sometimes it is necessary to conduct formal voting within the >>community >> -(outside of elections). Formal votes are necessary when processes

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

2016-12-01 Thread Lars Kurth
On 01/12/2016 09:52, "Lars Kurth" wrote: >On 30/11/2016 23:27, "Stefano Stabellini" wrote: > >>On Wed, 23 Nov 2016, Lars Kurth wrote: >>> >>> >> >>This is basically the same voting mechanism described under "Leadership >>Team >>Decisions", counted per project, then averaged, isn't? > >That is

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

2016-12-01 Thread Ian Jackson
Lars Kurth writes ("Re: [PATCH v5 3/3] Significant changes to decision making; some new roles and minor changes"): > Maybe Ian has some views on what is better from a theoretical viewpoint: > Voting mechanisms are a bit of a hobby of his The underlying problem here is that the reality is that the

Re: [MirageOS-devel] build workflow

2016-12-01 Thread Mindy
On 11/30/2016 12:28 PM, Hannes Mehnert wrote: I'm not yet happy with the workflow. What I'd like to have: - mirage help should be executable with and without a config.ml -- if config.ml is present, compile it to show possibilities - mirage describe should work with and without a configured uni

Re: [MirageOS-devel] build workflow

2016-12-01 Thread Richard Mortier
On 30 November 2016 at 18:43, Hannes Mehnert wrote: > cc'ed mirageos-devel again > > On 30/11/2016 18:37, Sean Grove wrote: >> Thanks so much for going over this with a fine-toothed comb, I love the >> idea of the whole process being smoother. > > > And your feedback is greatly appreciated since y

Re: [MirageOS-devel] build workflow

2016-12-01 Thread Drup
I'm now wondering: what was the rationale for having `mirage describe` vs `mirage help` at all? Maybe it would be better to incorporate the tty-output options of `describe` into the `help` output, and have `mirage describe` only produce the `--dot` output using the cached result of `mirage confi

Re: [MirageOS-devel] build workflow

2016-12-01 Thread Richard Mortier
On 1 December 2016 at 18:10, Drup wrote: > >> I'm now wondering: what was the rationale for having `mirage describe` >> vs `mirage help` at all? >> Maybe it would be better to incorporate the tty-output options of >> `describe` into the `help` output, and have `mirage describe` only >> produce the

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

2016-12-01 Thread Stefano Stabellini
On Thu, 1 Dec 2016, Ian Jackson wrote: > Lars Kurth writes ("Re: [PATCH v5 3/3] Significant changes to decision > making; some new roles and minor changes"): > > Maybe Ian has some views on what is better from a theoretical viewpoint: > > Voting mechanisms are a bit of a hobby of his > > The unde

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

2016-12-01 Thread Lars Kurth
On 01/12/2016 22:36, "Stefano Stabellini" wrote: >On Thu, 1 Dec 2016, Ian Jackson wrote: >> Lars Kurth writes ("Re: [PATCH v5 3/3] Significant changes to decision >>making; some new roles and minor changes"): >> > Maybe Ian has some views on what is better from a theoretical >>viewpoint: >> > V

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

2016-12-01 Thread Stefano Stabellini
On Thu, 1 Dec 2016, Lars Kurth wrote: > On 01/12/2016 22:36, "Stefano Stabellini" wrote: > > >On Thu, 1 Dec 2016, Ian Jackson wrote: > >> Lars Kurth writes ("Re: [PATCH v5 3/3] Significant changes to decision > >>making; some new roles and minor changes"): > >> > Maybe Ian has some views on what