2015-12-30 09:52:24 +00: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 12:21:47 +00: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 09:52:24 +00:00
|
|
|
"Unikernel.Main" (clock @-> job)
|
|
|
|
|
|
|
|
|
|
let () =
|
|
|
|
|
register "qubes-firewall" [main $ default_clock]
|
2016-04-30 13:35:24 +01:00
|
|
|
~argv:no_argv
|
