From 5eda9d03535e15bc1363b5ee64ee91ee12deb186 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Reynir=20Bj=C3=B6rnsson?= <reynir@reynir.dk>
Date: Tue, 1 Oct 2024 13:21:47 +0200
Subject: [PATCH] Update to mirage>=4.7.0

---
 config.ml    | 2 +-
 unikernel.ml | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

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)