Re: [MirageOS-devel] Charrua release

2015-11-27 Thread Christiano F. Haesbaert
Cool, I've squashed and made the pr: Here it is https://github.com/mirage/mirage-www/pull/414 On 27 November 2015 at 15:47, Amir Chaudhry wrote: > Great! If you can submit this as a pull request to the master branch of > mirage-www, then it makes it a little easier for others to comment via th

Re: [MirageOS-devel] Charrua release

2015-11-27 Thread Amir Chaudhry
Great! If you can submit this as a pull request to the master branch of mirage-www, then it makes it a little easier for others to comment via the GitHub interface. Thanks! Amir > On 27 Nov 2015, at 14:26, Christiano F. Haesbaert > wrote: > > I have a more or less reviewable blog post, any

Re: [MirageOS-devel] Charrua release

2015-11-27 Thread Christiano F. Haesbaert
I have a more or less reviewable blog post, any feedback is welcome: https://github.com/haesbaert/mirage-www/blob/5c3cb4ce92103aac47eacaa3795f464e70f09515/tmpl/blog/introducing-charrua-dhcp.md On 17 October 2015 at 17:35, Richard Mortier wrote: > On 15 October 2015 at 15:17, Hannes Mehnert wrot

Re: [MirageOS-devel] Charrua release

2015-10-17 Thread Richard Mortier
On 15 October 2015 at 15:17, Hannes Mehnert wrote: >> Hence, putting all code dealing with the wire-to-OCaml interface in >> Tftp_wire, and then (I'm currently fiddling with this, slowly) all the >> state machine logic in Tftp_S with the intent of having a Mirage >> unikernel implementation that u

Re: [MirageOS-devel] Charrua release

2015-10-17 Thread Christiano F. Haesbaert
On 15 October 2015 at 15:08, Amir Chaudhry wrote: > >> On 15 Oct 2015, at 09:42, Christiano F. Haesbaert >> wrote: >> >> On 13 October 2015 at 13:18, Amir Chaudhry wrote: >>> >>> Christiano, it would be great to have a blog post to accompany whatever is >>> added to mirage-skeleton. Would you

Re: [MirageOS-devel] Charrua release

2015-10-15 Thread Hannes Mehnert
On 10/15/2015 14:56, Richard Mortier wrote: > FWIW my motivation was: there are cases where one wishes to parse (or > generate) structures without needing to implement server/client. The > initial motivation was a reimplementation of a tcpdump-like facility, > as used by (eg) ocaml-dns for its unit

Re: [MirageOS-devel] Charrua release

2015-10-15 Thread Anil Madhavapeddy
On 15 Oct 2015, at 14:56, Richard Mortier wrote: > > On 6 October 2015 at 11:05, Christiano F. Haesbaert > wrote: > + Could you pull out Dhcp_structs into a separate ocamlfind library (i > tried tftp.wire for my Tftp lib) so that the structs can be reused (eg > in a packet parsing li

Re: [MirageOS-devel] Charrua release

2015-10-15 Thread Richard Mortier
On 6 October 2015 at 11:05, Christiano F. Haesbaert wrote: + Could you pull out Dhcp_structs into a separate ocamlfind library (i tried tftp.wire for my Tftp lib) so that the structs can be reused (eg in a packet parsing libpcap-alike)? (One day this will happen for tcpip as w

Re: [MirageOS-devel] Charrua release

2015-10-15 Thread Amir Chaudhry
> On 15 Oct 2015, at 09:42, Christiano F. Haesbaert > wrote: > > On 13 October 2015 at 13:18, Amir Chaudhry wrote: >> >> Christiano, it would be great to have a blog post to accompany whatever is >> added to mirage-skeleton. Would you be able to do this? I’m happy to >> proof-read and help

Re: [MirageOS-devel] Charrua release

2015-10-15 Thread Christiano F. Haesbaert
On 13 October 2015 at 13:18, Amir Chaudhry wrote: > >> On 13 Oct 2015, at 11:09, Hannes Mehnert wrote: >> >> On 10/13/2015 08:35, Christiano F. Haesbaert wrote: >>> On 10 October 2015 at 17:56, Hannes Mehnert wrote: I do have some questions, though: - is there a way to programmatically

Re: [MirageOS-devel] Charrua release

2015-10-15 Thread Christiano F. Haesbaert
On 13 October 2015 at 12:09, Hannes Mehnert wrote: > On 10/13/2015 08:35, Christiano F. Haesbaert wrote: >> On 10 October 2015 at 17:56, Hannes Mehnert wrote: >>> I do have some questions, though: >>> - is there a way to programmatically create a configuration, rather than >>> providing a dhcpd.c

Re: [MirageOS-devel] Charrua release

2015-10-13 Thread Drup
Le 13/10/2015 09:20, Christiano F. Haesbaert a écrit : On 10 October 2015 at 16:24, Drup wrote: If you need to define this Make functor inside unikernel.ml for the simplest example you have, it should be in your library directly. Regardless of other needs (integration with the other mirage libr

Re: [MirageOS-devel] Charrua release

2015-10-13 Thread Amir Chaudhry
> On 13 Oct 2015, at 11:09, Hannes Mehnert wrote: > > On 10/13/2015 08:35, Christiano F. Haesbaert wrote: >> On 10 October 2015 at 17:56, Hannes Mehnert wrote: >>> I do have some questions, though: >>> - is there a way to programmatically create a configuration, rather than >>> providing a dhcp

Re: [MirageOS-devel] Charrua release

2015-10-13 Thread Hannes Mehnert
On 10/13/2015 08:35, Christiano F. Haesbaert wrote: > On 10 October 2015 at 17:56, Hannes Mehnert wrote: >> I do have some questions, though: >> - is there a way to programmatically create a configuration, rather than >> providing a dhcpd.conf? would be great to be able to construct such a >> conf

Re: [MirageOS-devel] Charrua release

2015-10-13 Thread Christiano F. Haesbaert
On 10 October 2015 at 17:56, Hannes Mehnert wrote: > hey, > > On 10/10/2015 07:42, Christiano F. Haesbaert wrote: >> We have released charrua-core \o/: >> https://opam.ocaml.org/packages/charrua-core/charrua-core.0.1/ > > great! :) \o/ > > I do have some questions, though: > - is there a way to

Re: [MirageOS-devel] Charrua release

2015-10-13 Thread Christiano F. Haesbaert
On 10 October 2015 at 16:24, Drup wrote: > If you need to define this Make functor inside unikernel.ml for the simplest > example you have, it should be in your library directly. Regardless of other > needs (integration with the other mirage libraries): > > 1. Make *one* functor that takes simple

Re: [MirageOS-devel] Charrua release

2015-10-10 Thread Hannes Mehnert
hey, On 10/10/2015 07:42, Christiano F. Haesbaert wrote: > We have released charrua-core \o/: > https://opam.ocaml.org/packages/charrua-core/charrua-core.0.1/ great! :) I do have some questions, though: - is there a way to programmatically create a configuration, rather than providing a dhcpd.co

Re: [MirageOS-devel] Charrua release

2015-10-10 Thread Drup
If you need to define this Make functor inside unikernel.ml for the simplest example you have, it should be in your library directly. Regardless of other needs (integration with the other mirage libraries): 1. Make *one* functor that takes simple arguments (apparently, CLOCK, IP and NETWORK, i

Re: [MirageOS-devel] Charrua release

2015-10-09 Thread Christiano F. Haesbaert
We have released charrua-core \o/: https://opam.ocaml.org/packages/charrua-core/charrua-core.0.1/ Many thanks to Richard, Anil, Hannes, David and all the people who helped me through it. So now it should be possible to run your dhcp server in mirage by cloning: https://github.com/haesbaert/charru

Re: [MirageOS-devel] Charrua release

2015-10-07 Thread Christiano F. Haesbaert
On 6 October 2015 at 12:05, Christiano F. Haesbaert wrote: > On 30 September 2015 at 18:50, Richard Mortier > wrote: >> [ Adding the list as discussion may be of more general interest. This >> concerns Christiano's DHCP server, Charrua, at >> https://github.com/haesbaert/charrua-core, >> https://

Re: [MirageOS-devel] Charrua release

2015-10-06 Thread Christiano F. Haesbaert
On 30 September 2015 at 18:50, Richard Mortier wrote: > [ Adding the list as discussion may be of more general interest. This > concerns Christiano's DHCP server, Charrua, at > https://github.com/haesbaert/charrua-core, > https://github.com/haesbaert/charrua-mirage and > https://github.com/haesbae

Re: [MirageOS-devel] Charrua release

2015-09-30 Thread Richard Mortier
On 30 September 2015 at 21:21, Christiano F. Haesbaert wrote: >> Given you're using functors elsewhere, why is it a problem to use a >> functor for Clock too? > > Not a problem per se, but functors make it harder later to "just use" > the module, so I'm trying to avoid it. > > I've functorized ove

Re: [MirageOS-devel] Charrua release

2015-09-30 Thread Christiano F. Haesbaert
On 30 September 2015 at 18:50, Richard Mortier wrote: > [ Adding the list as discussion may be of more general interest. This > concerns Christiano's DHCP server, Charrua, at > https://github.com/haesbaert/charrua-core, > https://github.com/haesbaert/charrua-mirage and > https://github.com/haesbae

Re: [MirageOS-devel] Charrua release

2015-09-30 Thread Richard Mortier
[ Adding the list as discussion may be of more general interest. This concerns Christiano's DHCP server, Charrua, at https://github.com/haesbaert/charrua-core, https://github.com/haesbaert/charrua-mirage and https://github.com/haesbaert/charrua-unix. ] On 30 September 2015 at 13:39, Christiano F.