Re: [MirageOS-devel] Interest in MirageOS and UROP scheme

["Christiano F. Haesbaert" <haesbaert@xxxxxxxxxxxxx>]

Cool ! Nice to see people are interested.

I'm trying to design the Dhcp module to be policy-agnostic, just
interpreting and building dhcp messages, so it shouldn't be too hard
to use it in unix and the mirage stack.
I do want it to run in mirage, that is the main target of the project,
but it seemed easier to start with unix, especially since it's
something I'm used to.

Any feedback is welcome, as I've just recently started coding in
ocaml. If you think the privsep code could be made into a module, I'd
be happy to cook something for opam.

On 13 May 2015 at 01:25, Anil Madhavapeddy <anil@xxxxxxxxxx> wrote:
> Great to see this DHCP implementation making progress! CCing Christiano (the
> author).
>
> It looks like this is actually almost ready to replace the (extremely
> terrible) parser that I wrote years ago in the current TCP/IP stack, but
> there's certainly no immediate rush to do so.  One thing that's worth doing
> is to ensure that the new DHCP library can run outside of the TCP/IP
> implementation, so we may need to extend the module types to have better
> listening support.
>
> I really like that it's got a parser for the ISC dhcpd.conf!  Some of the
> Unix privsep code could also eventually be factored out into a library for
> the other daemons as well.
>
> -anil
>
> On 12 May 2015, at 17:48, Mindy <mindy@xxxxxxxxxxxxxxxxxxx> wrote:
>
> Hi Alistair,
>
> Sorry for the lateness of this reply, but I've just heard about an OCaml
> DHCP implementation that you may want to have a look at:
> https://github.com/haesbaert/hdhcp  .  It looks like it's currently under
> active development, although not yet buildable for Mirage.
>
> -Mindy
>
> On 04/26/2015 09:10 PM, Alistair Fisher wrote:
>
> Hello,
>
> I'm a second year computer scientist at the University of Cambridge
> interested in working on MirageOS over the summer via the UROP scheme.
>
> I am interested in the projects that focus on distributed systems,
> particularly Semantics of Shared Data Structures and all 5 networking
> projects (especially the HTTP implementation and DHCP server ones, since
> those are the protocols I am most familiar with).
>
> To continue with my application, should I contact each mentor individually
> with my application for their particular project?
>
> Thanks you for your time,
>
> Alistair Fisher
>
>
> _______________________________________________
> MirageOS-devel mailing list
> MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
> http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
>
>
> _______________________________________________
> MirageOS-devel mailing list
> MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
> http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
>
>

_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel