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

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] NTP client integration with MirageOS / Mini-OS

2016-09-07 Thread Hannes Mehnert
On 22/08/2016 15:16, Thomas Leonard wrote: > On 19 August 2016 at 17:59, Hannes Mehnert wrote: >> On 19/08/2016 17:50, Hannes Mehnert wrote: >>> it is really sufficient to mail to the list, there is no need to send >>> the mail to me and cc the list. > > The only two options in gmail are to reply

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

2016-08-22 Thread Thomas Leonard
On 19 August 2016 at 17:59, Hannes Mehnert wrote: > On 19/08/2016 17:50, Hannes Mehnert wrote: >> it is really sufficient to mail to the list, there is no need to send >> the mail to me and cc the list. The only two options in gmail are to reply to you personally or to you and the list (without e

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

2016-08-22 Thread Mindy
On 08/19/2016 11:59 AM, Hannes Mehnert wrote: On 19/08/2016 17:50, Hannes Mehnert wrote: On 19/08/2016 17:04, Thomas Leonard wrote: MCLOCK might have internal state for testing, although a global would work there too if necessary. I'm not sure I understand what you mean with "internal state

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

2016-08-19 Thread Hannes Mehnert
On 19/08/2016 17:50, Hannes Mehnert wrote: > it is really sufficient to mail to the list, there is no need to send > the mail to me and cc the list. > > On 19/08/2016 17:04, Thomas Leonard wrote: >> MCLOCK might have internal state for testing, although a global would >> work there too if necessar

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

2016-08-19 Thread Hannes Mehnert
it is really sufficient to mail to the list, there is no need to send the mail to me and cc the list. On 19/08/2016 17:04, Thomas Leonard wrote: > MCLOCK might have internal state for testing, although a global would > work there too if necessary. I'm not sure I understand what you mean with "int

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

2016-08-19 Thread Thomas Leonard
On 19 August 2016 at 16:40, Hannes Mehnert wrote: > Hey, > > On 27/07/2016 17:07, Mindy wrote: >> On 07/27/2016 02:05 PM, Matthew Gray wrote: >>> Should MCLOCK also implement the DEVICE signature? I think so, for >>> consistency. >> >> Making PCLOCK be a device looks completely reasonable to me, a

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

2016-08-19 Thread Hannes Mehnert
Hey, On 27/07/2016 17:07, Mindy wrote: > On 07/27/2016 02:05 PM, Matthew Gray wrote: >> Should MCLOCK also implement the DEVICE signature? I think so, for >> consistency. > > Making PCLOCK be a device looks completely reasonable to me, and I see > no reason not to make MCLOCK be one as well. Tho

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

2016-07-27 Thread Mindy
On 07/27/2016 02:05 PM, Matthew Gray wrote: On Wed, Jul 20, 2016 at 6:31 PM, Thomas Leonard > wrote: The CLOCK signature uses val time: unit -> float rather than val time: t -> float for some reason, which makes this difficult. I suggest cha

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

2016-07-27 Thread Matthew Gray
On Wed, Jul 20, 2016 at 6:31 PM, Thomas Leonard wrote: > On 20 July 2016 at 18:10, Hannes Mehnert wrote: > > Hi Kia, > > > > On 20/07/2016 18:54, Kia wrote: > >> I have a working NTP client written in ocaml and that runs in mirageos. > I still > >> need to do cleanup work, write and verify code

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

2016-07-20 Thread Thomas Leonard
On 20 July 2016 at 18:10, Hannes Mehnert wrote: > Hi Kia, > > On 20/07/2016 18:54, Kia wrote: >> I have a working NTP client written in ocaml and that runs in mirageos. I >> still >> need to do cleanup work, write and verify code that properly handles leap >> second events, write .mli files, and

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

2016-07-20 Thread Hannes Mehnert
Hi Kia, On 20/07/2016 18:54, Kia wrote: > I have a working NTP client written in ocaml and that runs in mirageos. I > still > need to do cleanup work, write and verify code that properly handles leap > second events, write .mli files, and write tests -- but the client code works. > I have a unike

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

2016-07-20 Thread Kia
I have a working NTP client written in ocaml and that runs in mirageos. I still need to do cleanup work, write and verify code that properly handles leap second events, write .mli files, and write tests -- but the client code works. I have a unikernel which periodically queries an NTP server to gen