OCaml Makefile
Latest commit fd57ff2 Jun 23, 2017 @samoht samoht committed on GitHub Merge pull request #61 from samoht/subst
Fix `jbuilder subst` commands


Charrua DHCP - a DHCP client, server and wire frame encoder and decoder

docs Build Status

charrua is an ISC-licensed DHCP library implementation in OCaml. It provides three packages:

  • charrua-core: a library that handles wire traffic parsing and a server implementation
  • charrua-client: a client library, with a portable version and one using the MirageOS interfaces
  • charrua-unix: a Unix DHCP server implementation


Charrua-core consists of two modules, a Dhcp_wire responsible for parsing and constructing DHCP messages and a Dhcp_server module used for constructing DHCP servers.

You can browse the API for charrua-core at http://mirage.github.io/charrua-core/api

mirage is a Mirage DHCP unikernel server based on charrua-core.


  • Dhcp_server supports a stripped down ISC dhcpd.conf, so you can probably just use your old dhcpd.conf, it also supports manual configuration building in OCaml.
  • Logic/sequencing is agnostic of IO and platform, so it can run on Unix as a process, as a Mirage unikernel or anything else.
  • Dhcp_wire provides marshalling and unmarshalling utilities for DHCP, it is the base for Dhcp_server.
  • All DHCP options are supported at the time of this writing.
  • Code is purely applicative.
  • It's in OCaml, so it's pretty cool.

The name charrua is a reference to the, now extinct, semi-nomadic people of southern South America.


charrua-client is a DHCP client powered by charrua-core.

The base library exposes a simple state machine for acquiring a DHCP lease.

A sublibrary, charrua-client.mirage, exposes an additional functor for use with the MirageOS library operating system.

Charrua-unix Server

charrua-unix is an ISC-licensed Unix DHCP daemon based on charrua-dhcp.


  • Supports a stripped down ISC dhcpd.conf. A configuration sample can be found here
  • Priviledge dropping, the daemon doesn't run as root.
  • Almost purely-functional code.
  • Support for multiple interfaces/subnets.

Try charruad --help for options.

This project became one of the Mirage Pioneer projects.