diff --git a/unikernel/config.ml b/unikernel/config.ml index c88378d4..639cc5a0 100644 --- a/unikernel/config.ml +++ b/unikernel/config.ml @@ -1,4 +1,3 @@ -(* mirage >= 4.9.0 & < 4.11.0 *) open Mirage let pgx_setup = runtime_arg ~pos:__POS__ "Unikernel.pgx_setup" @@ -26,9 +25,9 @@ let mte = let stackv4v6 = generic_stackv4v6 default_network let tcpv4v6 = tcpv4v6_of_stackv4v6 stackv4v6 -let he = generic_happy_eyeballs stackv4v6 -let dns = generic_dns_client stackv4v6 he let happy_eyeballs = generic_happy_eyeballs stackv4v6 + +(*let dns = generic_dns_client stackv4v6 happy_eyeballs*) let certificates = crunch "../data/tls/certificates" let keys = crunch "../data/tls/keys" let assets = crunch "../data/assets"