2015-12-30 04:52:24 -05:00
|
|
|
(* Copyright (C) 2015, Thomas Leonard <thomas.leonard@unikernel.com>
|
|
|
|
|
See the README file for details. *)
|
|
|
|
|
|
|
|
|
|
(** Configuration for the "mirage" tool. *)
|
|
|
|
|
|
|
|
|
|
open Mirage
|
|
|
|
|
|
|
|
|
|
let main =
|
|
|
|
|
foreign
|
2016-01-11 07:21:47 -05:00
|
|
|
~libraries:["mirage-net-xen"; "tcpip.stack-direct"; "tcpip.xen"; "mirage-qubes"; "mirage-nat"; "mirage-logs"]
|
|
|
|
|
~packages:["vchan"; "cstruct"; "tcpip"; "mirage-net-xen"; "mirage-qubes"; "mirage-nat"; "mirage-logs"]
|
2015-12-30 04:52:24 -05:00
|
|
|
"Unikernel.Main" (clock @-> job)
|
|
|
|
|
|
|
|
|
|
let () =
|
|
|
|
|
register "qubes-firewall" [main $ default_clock]
|
