An SDN solution targeting Linux hosts, implemented in Ocaml