+1

dune

reviewed

··· 1 1 + (vendored_dirs vendors)

+6 -2

dune-project

reviewed

··· 19 19 (ocaml (>= 5.4.0)) 20 20 21 21 ;; presentation setup 22 22 - slipshow 22 22 + ; slipshow ;; removed for the moment (for compatibility reasons, because of dream) 23 23 ;; dev setup 24 24 (utop :with-dev-setup) 25 25 (ocamlformat :with-dev-setup) ··· 37 37 solo5 38 38 ocaml-solo5 39 39 mkernel 40 40 - mnet)) 40 40 + mnet 41 41 + mirage-crypto-rng-mkernel 42 42 + zarith 43 43 + vifu 44 44 + vif))

-1

ln-wk4.opam

reviewed

··· 13 13 depends: [ 14 14 "dune" {>= "3.21"} 15 15 "ocaml" {>= "5.4.0"} 16 16 - "slipshow" 17 16 "utop" {with-dev-setup} 18 17 "ocamlformat" {with-dev-setup} 19 18 "ocp-indent" {with-dev-setup}

+9

unikernels.opam

reviewed

··· 16 16 "ocaml-solo5" 17 17 "mkernel" 18 18 "mnet" 19 19 + "mirage-crypto-rng-mkernel" 20 20 + "zarith" 21 21 + "vifu" 22 22 + "vif" 19 23 "odoc" {with-doc} 20 24 ] 21 25 build: [ ··· 34 38 ] 35 39 dev-repo: "git+https://tangled.org/xvw/ln-workshop-4-ocaml-unikernel" 36 40 x-maintenance-intent: ["(latest)"] 41 41 + pin-depends: [ 42 42 + [ "vif.dev" "git+https://github.com/robur-coop/vif.git#3fb86c53bc56d3af78ce5df76b285a2b476e39ad" ] 43 43 + [ "vifu.dev" "git+https://github.com/robur-coop/vif.git#3fb86c53bc56d3af78ce5df76b285a2b476e39ad" ] 44 44 + [ "zarith.dev" "git+https://github.com/mirage/Zarith.git#df8969d9bb95cffca13e31a615189ab27ada0684" ] 45 45 + ]

+5

unikernels.opam.template

reviewed

··· 1 1 + pin-depends: [ 2 2 + [ "vif.dev" "git+https://github.com/robur-coop/vif.git#3fb86c53bc56d3af78ce5df76b285a2b476e39ad" ] 3 3 + [ "vifu.dev" "git+https://github.com/robur-coop/vif.git#3fb86c53bc56d3af78ce5df76b285a2b476e39ad" ] 4 4 + [ "zarith.dev" "git+https://github.com/mirage/Zarith.git#df8969d9bb95cffca13e31a615189ab27ada0684" ] 5 5 + ]

-2

unikernels/echo/dune

reviewed

··· 22 22 (= %{context_name} "default")) 23 23 (action 24 24 (write-file echo_manifest.c ""))) 25 25 - 26 26 - (vendored_dirs vendors)

-2

unikernels/hello/dune

reviewed

··· 22 22 (= %{context_name} "default")) 23 23 (action 24 24 (write-file hello_manifest.c ""))) 25 25 - 26 26 - (vendored_dirs vendors)

-2

unikernels/hello_server/dune

reviewed

··· 22 22 (= %{context_name} "default")) 23 23 (action 24 24 (write-file hello_server_manifest.c ""))) 25 25 - 26 26 - (vendored_dirs vendors)

-2

unikernels/web_hello_server/dune

reviewed

··· 22 22 (= %{context_name} "default")) 23 23 (action 24 24 (write-file web_hello_manifest.c ""))) 25 25 - 26 26 - (vendored_dirs vendors)

-2

unikernels/web_html_server/dune

reviewed

··· 29 29 (deps index.html style.css) 30 30 (action 31 31 (run mcrunch --list --file index:index.html --file style:style.css -o documents.ml))) 32 32 - 33 33 - (vendored_dirs vendors)

+20

vendor.sh

reviewed

··· 1 1 + #!/bin/bash 2 2 + 3 3 + [ ! -d "vendors" ] && mkdir vendors 4 4 + [ ! -d "vendors/mkernel" ] && opam source mkernel --dir vendors/mkernel 5 5 + [ ! -d "vendors/mnet" ] && opam source mnet --dir vendors/mnet 6 6 + [ ! -d "vendors/mirage-crypto-rng-mkernel" ] && opam source mirage-crypto-rng-mkernel --dir vendors/mirage-crypto-rng-mkernel 7 7 + [ ! -d "vendors/bstr" ] && opam source bstr --dir vendors/bstr 8 8 + [ ! -d "vendors/gmp" ] && opam source bstr --dir vendors/gmp 9 9 + [ ! -d "vendors/digestif" ] && opam source bstr --dir vendors/digestif 10 10 + [ ! -d "vendors/kdf" ] && opam source bstr --dir vendors/kdf 11 11 + [ ! -d "vendors/utcp" ] && opam source bstr --dir vendors/utcp 12 12 + [ ! -d "vendors/zarith" ] && opam source bstr --dir vendors/zarith 13 13 + [ ! -d "vendors/h1" ] && opam source h1 --dir vendors/h1 14 14 + [ ! -d "vendors/tls" ] && opam source tls --dir vendors/tls 15 15 + [ ! -d "vendors/x509" ] && opam source x509 --dir vendors/x509 16 16 + [ ! -d "vendors/flux" ] && opam source bstr --dir vendors/flux 17 17 + [ ! -d "vendors/mhttp" ] && opam source bstr --dir vendors/mhttp 18 18 + [ ! -d "vendors/vifu" ] && opam source bstr --dir vendors/vifu 19 19 + [ ! -d "vendors/prettym" ] && opam source bstr --dir vendors/prettym 20 20 + [ ! -d "vendors/multipart_form-miou" ] && opam source bstr --dir vendors/multipart_form-miou