Re: [MirageOS-devel] NTP client integration with MirageOS / Mini-OS

2016-09-08 Thread Thomas Leonard
On 8 September 2016 at 11:53, Hannes Mehnert wrote: > On 08/09/2016 11:28, Thomas Leonard wrote: >> On 7 September 2016 at 15:26, Hannes Mehnert wrote: >>> On 22/08/2016 15:16, Thomas Leonard wrote: >> >> [ running a test clock at a multiple of the real clock's speed ] >> Right, but this is

Re: [MirageOS-devel] NTP client integration with MirageOS / Mini-OS

2016-09-08 Thread Hannes Mehnert
On 08/09/2016 11:28, Thomas Leonard wrote: > On 7 September 2016 at 15:26, Hannes Mehnert wrote: >> On 22/08/2016 15:16, Thomas Leonard wrote: > > [ running a test clock at a multiple of the real clock's speed ] > >>> Right, but this is a hack because we don't have internal state. It >>> runs sl

[MirageOS-devel] cleaned up mirage/mirage branches

2016-09-08 Thread Anil Madhavapeddy
As I'm deploying the new CI system, I took the opportunity to clean up some dead branches in mirage/mirage that are stale and no longer need automated tests. Moving forward, please maintain feature branches in your own forks unless there is a shared need to have them in mirage/mirage. The bran

Re: [MirageOS-devel] NTP client integration with MirageOS / Mini-OS

2016-09-08 Thread Thomas Leonard
On 7 September 2016 at 15:26, Hannes Mehnert wrote: > On 22/08/2016 15:16, Thomas Leonard wrote: [ running a test clock at a multiple of the real clock's speed ] >> Right, but this is a hack because we don't have internal state. It >> runs slower that it could (it's still waiting, just for less

Re: [MirageOS-devel] Getting 502 on Projects page

2016-09-08 Thread Anil Madhavapeddy
On 7 Sep 2016, at 09:50, Siddhant Sharan , B.Tech., Comp. Sc. & Engg., IIT (BHU), Varanasi (INDIA) wrote: > > Hi, > I was trying to access http://canopy.mirage.io/Projects page for viewing the > open projects. Unfortunately, this keeps giving me 502 error. Any reason this > could be happening

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

2016-09-08 Thread Wei Liu
On Fri, Aug 12, 2016 at 12:13:46AM +0100, Lars Kurth wrote: [...] > +The table below maps active votes against votes needed to pass: > + > + --- -- -- -- -- -- -- -- -- > + **Active Votes** 10 9 8 7 6 5 4 3 2 > + **+1 votes needed to pass**7

[MirageOS-devel] Getting 502 on Projects page

2016-09-08 Thread Siddhant Sharan , B.Tech., Comp. Sc. & Engg., IIT (BHU), Varanasi (INDIA)
Hi, I was trying to access http://canopy.mirage.io/Projects page for viewing the open projects. Unfortunately, this keeps giving me 502 error. Any reason this could be happening? Thanks Siddhant Sharan ___ MirageOS-devel mailing list MirageOS-devel@lists.

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

2016-09-08 Thread Wei Liu
On Fri, Aug 26, 2016 at 03:35:38PM +0100, Lars Kurth wrote: > > > On 26/08/2016 07:49, "Wei Liu" wrote: > > >On Sat, Aug 13, 2016 at 09:28:49AM +, Lars Kurth wrote: > >> > >> > >> On 12/08/2016 14:01, "Jan Beulich" wrote: > >> > >> On 12.08.16 at 14:53, wrote: > >> >> On 12/08/201

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

2016-09-08 Thread Wei Liu
On Sat, Aug 13, 2016 at 09:28:49AM +, Lars Kurth wrote: > > > On 12/08/2016 14:01, "Jan Beulich" wrote: > > On 12.08.16 at 14:53, wrote: > >> On 12/08/2016 13:41, "Jan Beulich" wrote: > >> On 12.08.16 at 01:13, wrote: > +### Lazy Consensus {#lazyconsensus} > + > [s