diff --git a/config.ml b/config.ml index e3a84b2..022668e 100644 --- a/config.ml +++ b/config.ml @@ -1,4 +1,4 @@ -(* mirage >= 4.6.0 & < 4.7.0 *) +(* mirage >= 4.7.0 & < 4.8.0 *) open Mirage (* xenstore id 51712 is the root volume *) diff --git a/unikernel.ml b/unikernel.ml index b1cc502..15766cb 100644 --- a/unikernel.ml +++ b/unikernel.ml @@ -6,7 +6,7 @@ let config_key = Cmdliner.Arg.(value & opt string "/config.ovpn" doc) module Main - (R : Mirage_random.S) + (R : Mirage_crypto_rng_mirage.S) (M : Mirage_clock.MCLOCK) (P : Mirage_clock.PCLOCK) (T : Mirage_time.S)