(* Generated by network (Fri, 4 Dec 2015 14:56:25 GMT). *)

open Lwt
let run =
OS.Main.run

let _ = Printexc.record_backtrace true

module Ethif1 = Ethif.Make(Netif)

module Arpv41 = Arpv4.Make(Ethif1)(Clock)(OS.Time)

module Ipv41 = Ipv4.Make(Ethif1)(Arpv41)

module Udp1 = Udp.Make(Ipv41)

module Tcp1 = Tcp.Flow.Make(Ipv41)(OS.Time)(Clock)(Random)

module Tcpip_stack_direct1 = Tcpip_stack_direct.Make(Console_xen)(OS.Time)
  (Random)(Netif)(Ethif1)(Arpv41)(Ipv41)(Udp1)(Tcp1)

module Unikernel1 = Unikernel.Main(Console_xen)(Tcpip_stack_direct1)

let net11 () =
  Netif.connect (Key_gen.network ())

let time1 () =
  return (`Ok ())

let clock1 () =
  return (`Ok ())

let ethif1 () =
  let __net11 = net11 () in
  __net11 >>= function
  | `Error _e -> fail (Failure "net11")
  | `Ok _net11 ->
  Ethif1.connect _net11

let arpv41 () =
  let __ethif1 = ethif1 () in
  let __clock1 = clock1 () in
  let __time1 = time1 () in
  __ethif1 >>= function
  | `Error _e -> fail (Failure "ethif1")
  | `Ok _ethif1 ->
  __clock1 >>= function
  | `Error _e -> fail (Failure "clock1")
  | `Ok _clock1 ->
  __time1 >>= function
  | `Error _e -> fail (Failure "time1")
  | `Ok _time1 ->
  Arpv41.connect _ethif1

let ipv411 () =
  let __ethif1 = ethif1 () in
  let __arpv41 = arpv41 () in
  __ethif1 >>= function
  | `Error _e -> fail (Failure "ethif1")
  | `Ok _ethif1 ->
  __arpv41 >>= function
  | `Error _e -> fail (Failure "arpv41")
  | `Ok _arpv41 ->
  Ipv41.connect    _ethif1 _arpv41

let random1 () =
  return (`Ok ())

let console_xen_01 () =
  Console_xen.connect "0"

let udp1 () =
  let __ipv411 = ipv411 () in
  __ipv411 >>= function
  | `Error _e -> fail (Failure "ipv411")
  | `Ok _ipv411 ->
  Udp1.connect _ipv411

let tcp1 () =
  let __ipv411 = ipv411 () in
  let __time1 = time1 () in
  let __clock1 = clock1 () in
  let __random1 = random1 () in
  __ipv411 >>= function
  | `Error _e -> fail (Failure "ipv411")
  | `Ok _ipv411 ->
  __time1 >>= function
  | `Error _e -> fail (Failure "time1")
  | `Ok _time1 ->
  __clock1 >>= function
  | `Error _e -> fail (Failure "clock1")
  | `Ok _clock1 ->
  __random1 >>= function
  | `Error _e -> fail (Failure "random1")
  | `Ok _random1 ->
  Tcp1.connect _ipv411

let argv_xen1 () =
  Bootvar.argv ()

let stackv4_dhcp1 () =
  let __console_xen_01 = console_xen_01 () in
  let __time1 = time1 () in
  let __random1 = random1 () in
  let __net11 = net11 () in
  let __ethif1 = ethif1 () in
  let __arpv41 = arpv41 () in
  let __ipv411 = ipv411 () in
  let __udp1 = udp1 () in
  let __tcp1 = tcp1 () in
  __console_xen_01 >>= function
  | `Error _e -> fail (Failure "console_xen_01")
  | `Ok _console_xen_01 ->
  __time1 >>= function
  | `Error _e -> fail (Failure "time1")
  | `Ok _time1 ->
  __random1 >>= function
  | `Error _e -> fail (Failure "random1")
  | `Ok _random1 ->
  __net11 >>= function
  | `Error _e -> fail (Failure "net11")
  | `Ok _net11 ->
  __ethif1 >>= function
  | `Error _e -> fail (Failure "ethif1")
  | `Ok _ethif1 ->
  __arpv41 >>= function
  | `Error _e -> fail (Failure "arpv41")
  | `Ok _arpv41 ->
  __ipv411 >>= function
  | `Error _e -> fail (Failure "ipv411")
  | `Ok _ipv411 ->
  __udp1 >>= function
  | `Error _e -> fail (Failure "udp1")
  | `Ok _udp1 ->
  __tcp1 >>= function
  | `Error _e -> fail (Failure "tcp1")
  | `Ok _tcp1 ->
  let config = {V1_LWT. name = "stackv4_dhcp"; console = _console_xen_01;
  interface = _net11; mode = `DHCP } in Tcpip_stack_direct1.connect config
_ethif1 _arpv41 _ipv411 _udp1 _tcp1

let key1 () =
  let __argv_xen1 = argv_xen1 () in
  __argv_xen1 >>= function
  | `Error _e -> fail (Failure "argv_xen1")
  | `Ok _argv_xen1 ->
  return (Functoria_runtime.with_argv Key_gen.runtime_keys "network" _argv_xen1)

let f11 () =
  let __console_xen_01 = console_xen_01 () in
  let __stackv4_dhcp1 = stackv4_dhcp1 () in
  __console_xen_01 >>= function
  | `Error _e -> fail (Failure "console_xen_01")
  | `Ok _console_xen_01 ->
  __stackv4_dhcp1 >>= function
  | `Error _e -> fail (Failure "stackv4_dhcp1")
  | `Ok _stackv4_dhcp1 ->
  Unikernel1.start _console_xen_01 _stackv4_dhcp1
>>= fun t -> Lwt.return (`Ok t)

let mirage1 () =
  let __key1 = key1 () in
  let __f11 = f11 () in
  __key1 >>= function
  | `Error _e -> fail (Failure "key1")
  | `Ok _key1 ->
  __f11 >>= function
  | `Error _e -> fail (Failure "f11")
  | `Ok _f11 ->
  Lwt.return_unit

let () =
  let t =
  key1 () >>= function
  | `Error _e -> exit 1
  | `Ok _ -> mirage1 ()
  in run t