From 280072903b6992129d6057aaf724bbdd03bb608b Mon Sep 17 00:00:00 2001
From: Abongwa Bonalais <81782853+Burnleydev1@users.noreply.github.com>
Date: Fri, 10 Mar 2023 22:40:26 +0100
Subject: [PATCH 1/3] Added steps for mirage setup

Added steps for setting up ocaml v4.14.1
---
 README.md | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/README.md b/README.md
index 9395bfb..5a49f24 100644
--- a/README.md
+++ b/README.md
@@ -72,6 +72,14 @@ git clone https://github.com/rand00/conntest
 cd conntest
 mirage configure -t <TARGET> -f mirage/config.ml && make depend && mirage build -f mirage/config.ml
 ```
+Note that the current version of ocaml(v5.0.0) is not yet compatible with with mirage, so do well to switch to v4.14.1 using the commands below.
+```
+opam switch create mirage 4.14.1
+```
+We then update the new opam environment.
+```
+eval $(opam env --switch=mirage) 
+```
 Targets:
 * For `spt` you need to run GNU/Linux and install `solo5`. 
 * For `hvt` you need a baremetal server (i.e. supporting virtualization) or a VPS supporting nested virtualization. Also depends on `solo5`.

From 0dbae2c7144b09a66ae46ad9b7b1b7e969c23c4b Mon Sep 17 00:00:00 2001
From: Abongwa Bonalais <81782853+Burnleydev1@users.noreply.github.com>
Date: Fri, 10 Mar 2023 22:52:50 +0100
Subject: [PATCH 2/3] Update README.md

---
 README.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/README.md b/README.md
index 5a49f24..531fdec 100644
--- a/README.md
+++ b/README.md
@@ -150,3 +150,4 @@ ip link set tap101 master service
 ip link
 bridge link
 ```
+You can run this script by saving the contents to a file (e.g., `network_setup.sh`), making it executable (e.g., `chmod +x network_setup.sh`), and then executing it as a superuser (e.g., `sudo ./network_setup.sh`).

From fcb2ca65b9c475722a006db186d96e1d2caba6ba Mon Sep 17 00:00:00 2001
From: Abongwa Bonalais <81782853+Burnleydev1@users.noreply.github.com>
Date: Mon, 13 Mar 2023 21:10:12 +0100
Subject: [PATCH 3/3] minor change

---
 README.md | 1 -
 1 file changed, 1 deletion(-)

diff --git a/README.md b/README.md
index 531fdec..5a49f24 100644
--- a/README.md
+++ b/README.md
@@ -150,4 +150,3 @@ ip link set tap101 master service
 ip link
 bridge link
 ```
-You can run this script by saving the contents to a file (e.g., `network_setup.sh`), making it executable (e.g., `chmod +x network_setup.sh`), and then executing it as a superuser (e.g., `sudo ./network_setup.sh`).