functorise the write and listen callbacks

This MR functorise the code base in order to simplify the management (single place where you read and write packets), and separate the IDS part from the network lower part. Beware, it compiles fine, but I haven't tested it.

simple-IDS/config.ml

-(* mirage >= 4.7.0 & < 4.8.0 *)
+(* mirage >= 4.8.1 & < 4.9.0 *)
 open Mirage
 
 (* we need two network interfaces: a public side and a private side *)
@@ -16,94 +16,84 @@ let private_netif4 =
          (netif ~group:"private4" "1"))
 
 let public_netif5 =
-   Key.(if_impl is_solo5
-            (netif ~group:"public5" "public5")
-            (netif ~group:"public5" "0"))
-   
-   let private_netif5 =
-   Key.(if_impl is_solo5
-            (netif ~group:"private5" "private5")
-            (netif ~group:"private5" "1"))
-   
-   let public_netif6 =
-   Key.(if_impl is_solo5
-            (netif ~group:"public6" "public6")
-            (netif ~group:"public6" "0"))
-   
-   let private_netif6 =
-   Key.(if_impl is_solo5
-            (netif ~group:"private6" "private6")
-            (netif ~group:"private6" "1"))
-   
-   let public_netif7 =
-   Key.(if_impl is_solo5
-            (netif ~group:"public7" "public7")
-            (netif ~group:"public7" "0"))
-   
-   let private_netif7 =
-   Key.(if_impl is_solo5
-            (netif ~group:"private7" "private7")
-            (netif ~group:"private7" "1"))
-   
-   let public_netif8 =
-   Key.(if_impl is_solo5
-            (netif ~group:"public8" "public8")
-            (netif ~group:"public8" "0"))
-   
-   let private_netif8 =
-   Key.(if_impl is_solo5
-            (netif ~group:"private8" "private8")
-            (netif ~group:"private8" "1"))
-   
-   let public_netif9 =
-   Key.(if_impl is_solo5
-            (netif ~group:"public9" "public9")
-            (netif ~group:"public9" "0"))
-   
-   let private_netif9 =
-   Key.(if_impl is_solo5
-            (netif ~group:"private9" "private9")
-            (netif ~group:"private9" "1"))
-   
-   let public_netif10 =
-   Key.(if_impl is_solo5
-            (netif ~group:"public10" "public10")
-            (netif ~group:"public10" "0"))
-   
-   let private_netif10 =
-   Key.(if_impl is_solo5
-            (netif ~group:"private10" "private10")
-            (netif ~group:"private10" "1"))
+  Key.(if_impl is_solo5
+         (netif ~group:"public5" "public5")
+         (netif ~group:"public5" "0"))   
+let private_netif5 =
+  Key.(if_impl is_solo5
+         (netif ~group:"private5" "private5")
+         (netif ~group:"private5" "1"))
+
+let public_netif6 =
+  Key.(if_impl is_solo5
+         (netif ~group:"public6" "public6")
+         (netif ~group:"public6" "0"))
+let private_netif6 =
+  Key.(if_impl is_solo5
+         (netif ~group:"private6" "private6")
+         (netif ~group:"private6" "1"))
+let public_netif7 =
+  Key.(if_impl is_solo5
+         (netif ~group:"public7" "public7")
+         (netif ~group:"public7" "0"))
+let private_netif7 =
+  Key.(if_impl is_solo5
+         (netif ~group:"private7" "private7")
+         (netif ~group:"private7" "1"))
    
-   let public_netif11 =
-   Key.(if_impl is_solo5
-            (netif ~group:"public11" "public11")
-            (netif ~group:"public11" "0"))
+let public_netif8 =
+  Key.(if_impl is_solo5
+         (netif ~group:"public8" "public8")
+         (netif ~group:"public8" "0"))
+let private_netif8 =
+  Key.(if_impl is_solo5
+         (netif ~group:"private8" "private8")
+         (netif ~group:"private8" "1"))
    
-   let private_netif11 =
-   Key.(if_impl is_solo5
-            (netif ~group:"private11" "private11")
-            (netif ~group:"private11" "1"))
+let public_netif9 =
+  Key.(if_impl is_solo5
+         (netif ~group:"public9" "public9")
+         (netif ~group:"public9" "0"))
+let private_netif9 =
+  Key.(if_impl is_solo5
+         (netif ~group:"private9" "private9")
+         (netif ~group:"private9" "1"))
    
-   let public_netif12 =
-   Key.(if_impl is_solo5
-            (netif ~group:"public12" "public12")
-            (netif ~group:"public12" "0"))
+let public_netif10 =
+  Key.(if_impl is_solo5
+         (netif ~group:"public10" "public10")
+         (netif ~group:"public10" "0"))
+let private_netif10 =
+  Key.(if_impl is_solo5
+         (netif ~group:"private10" "private10")
+         (netif ~group:"private10" "1"))
    
-   let private_netif12 =
-   Key.(if_impl is_solo5
-            (netif ~group:"private12" "private12")
-            (netif ~group:"private12" "1"))
+let public_netif11 =
+  Key.(if_impl is_solo5
+         (netif ~group:"public11" "public11")
+         (netif ~group:"public11" "0"))
+let private_netif11 =
+  Key.(if_impl is_solo5
+         (netif ~group:"private11" "private11")
+         (netif ~group:"private11" "1"))
    
-   let public_netif13 =
-   Key.(if_impl is_solo5
-            (netif ~group:"public13" "public13")
-            (netif ~group:"public13" "0"))
+let public_netif12 =
+  Key.(if_impl is_solo5
+         (netif ~group:"public12" "public12")
+         (netif ~group:"public12" "0"))
+let private_netif12 =
+  Key.(if_impl is_solo5
+         (netif ~group:"private12" "private12")
+         (netif ~group:"private12" "1"))
    
-   let private_netif13 =
-   Key.(if_impl is_solo5
-            (netif ~group:"private13" "private13")
-            (netif ~group:"private13" "1"))
+let public_netif13 =
+  Key.(if_impl is_solo5
+         (netif ~group:"public13" "public13")
+         (netif ~group:"public13" "0"))
+let private_netif13 =
+  Key.(if_impl is_solo5
+        (netif ~group:"private13" "private13")
+        (netif ~group:"private13" "1"))
           
 
 (* build ethernet interfaces on top of those network interfaces *)
@@ -197,4 +187,4 @@ let () = register "simple-dns" [ main
                               $ public_ethernet12 $ private_ethernet12
                               $ public_ethernet13 $ private_ethernet13
                               $ default_random  $ default_monotonic_clock
-                              ]
\ No newline at end of file
+                              ]