2024-04-20 06:04:37 -04:00
|
|
|
(* mirage >= 4.5.0 *)
|
2017-03-18 06:20:26 -04:00
|
|
|
(* Copyright (C) 2017, Thomas Leonard <thomas.leonard@unikernel.com>
|
2015-12-30 04:52:24 -05:00
|
|
|
See the README file for details. *)
|
|
|
|
|
|
|
|
(** Configuration for the "mirage" tool. *)
|
|
|
|
|
|
|
|
open Mirage
|
|
|
|
|
2024-04-20 06:04:37 -04:00
|
|
|
let nat_table_size = runtime_arg ~pos:__POS__ "Unikernel.nat_table_size"
|
2017-03-15 04:56:24 -04:00
|
|
|
|
2015-12-30 04:52:24 -05:00
|
|
|
let main =
|
2024-04-20 06:04:37 -04:00
|
|
|
main
|
|
|
|
~runtime_args:[ nat_table_size; ]
|
2017-03-02 09:52:55 -05:00
|
|
|
~packages:[
|
2019-04-03 07:32:13 -04:00
|
|
|
package "vchan" ~min:"4.0.2";
|
2017-03-02 09:52:55 -05:00
|
|
|
package "cstruct";
|
2019-02-01 04:25:29 -05:00
|
|
|
package "astring";
|
2019-03-17 17:32:17 -04:00
|
|
|
package "tcpip" ~min:"3.7.0";
|
2024-04-20 06:04:37 -04:00
|
|
|
package "arp" ~min:"2.3.0" ~sublibs:["mirage"];
|
|
|
|
package "ethernet" ~min:"3.0.0";
|
2017-11-14 07:35:33 -05:00
|
|
|
package "shared-memory-ring" ~min:"3.0.0";
|
2024-04-20 06:04:37 -04:00
|
|
|
package "netchannel" ~min:"2.1.2";
|
2019-04-03 07:32:13 -04:00
|
|
|
package "mirage-net-xen";
|
2021-11-05 13:55:30 -04:00
|
|
|
package "ipaddr" ~min:"5.2.0";
|
2020-12-03 11:11:56 -05:00
|
|
|
package "mirage-qubes" ~min:"0.9.1";
|
2024-04-20 06:04:37 -04:00
|
|
|
package "mirage-nat" ~min:"3.0.1";
|
2017-03-02 09:52:55 -05:00
|
|
|
package "mirage-logs";
|
2022-07-27 08:26:58 -04:00
|
|
|
package "mirage-xen" ~min:"8.0.0";
|
2024-04-20 06:04:37 -04:00
|
|
|
package "dns-client" ~min:"6.4.0";
|
2020-04-29 09:58:01 -04:00
|
|
|
package "pf-qubes";
|
2017-03-02 09:52:55 -05:00
|
|
|
]
|
2022-03-30 03:12:01 -04:00
|
|
|
"Unikernel.Main" (random @-> mclock @-> time @-> job)
|
2015-12-30 04:52:24 -05:00
|
|
|
|
|
|
|
let () =
|
2022-03-30 03:12:01 -04:00
|
|
|
register "qubes-firewall" [main $ default_random $ default_monotonic_clock $ default_time]
|