Materials for the LambdaNantes 4 workshop: An Introduction to Unikernels with OCaml!
BIG BANG !!!
+130
+36
.gitignore
+36
.gitignore
···
1
+
*.annot
2
+
*.cmo
3
+
*.cma
4
+
*.cmi
5
+
*.a
6
+
*.o
7
+
*.cmx
8
+
*.cmxs
9
+
*.cmxa
10
+
11
+
# Files containing detailed information about the compilation (generated
12
+
# by `ocamlc`/`ocamlopt` when invoked using the option `-bin-annot`).
13
+
# These files are typically useful for code inspection tools
14
+
# (e.g. Merlin).
15
+
*.cmt
16
+
*.cmti
17
+
18
+
# ocamlbuild and Dune default working directory
19
+
_build/
20
+
21
+
# ocamlbuild targets
22
+
*.byte
23
+
*.native
24
+
25
+
# oasis generated files
26
+
setup.data
27
+
setup.log
28
+
29
+
# Merlin configuring file for Vim and Emacs
30
+
.merlin
31
+
32
+
# Dune generated files
33
+
*.install
34
+
35
+
# Local OPAM switch
36
+
_opam/
+21
LICENSE
+21
LICENSE
···
1
+
MIT License
2
+
3
+
Copyright (c) 2025 Xavier Van de Woestyne
4
+
5
+
Permission is hereby granted, free of charge, to any person obtaining a copy
6
+
of this software and associated documentation files (the "Software"), to deal
7
+
in the Software without restriction, including without limitation the rights
8
+
to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
9
+
copies of the Software, and to permit persons to whom the Software is
10
+
furnished to do so, subject to the following conditions:
11
+
12
+
The above copyright notice and this permission notice shall be included in all
13
+
copies or substantial portions of the Software.
14
+
15
+
THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
16
+
IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
17
+
FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
18
+
AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
19
+
LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
20
+
OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
21
+
SOFTWARE.
+5
README.md
+5
README.md
+29
dune-project
+29
dune-project
···
1
+
(lang dune 3.21)
2
+
(name ln-wk4)
3
+
(version dev)
4
+
(generate_opam_files)
5
+
6
+
(source (tangled xvw/ln-workshop-4-ocaml-unikernel))
7
+
(license MIT)
8
+
(authors "xvw <xaviervdw@gmail.com>")
9
+
(maintainers "xvw <xaviervdw@gmail.com>")
10
+
11
+
(package
12
+
(name ln-wk4)
13
+
(allow_empty)
14
+
(synopsis "Setting up the development environment")
15
+
(description
16
+
"Umbrella package, not associated with any target, used to make
17
+
the development environment available in the current switch")
18
+
(depends
19
+
(ocaml (>= 5.4.0))
20
+
21
+
;; presentation setup
22
+
slipshow
23
+
;; dev setup
24
+
(utop :with-dev-setup)
25
+
(ocamlformat :with-dev-setup)
26
+
(ocp-indent :with-dev-setup)
27
+
(merlin :with-dev-setup)
28
+
(ocaml-lsp-server :with-dev-setup)))
29
+
+39
ln-wk4.opam
+39
ln-wk4.opam
···
1
+
# This file is generated by dune, edit dune-project instead
2
+
opam-version: "2.0"
3
+
version: "dev"
4
+
synopsis: "Setting up the development environment"
5
+
description: """
6
+
Umbrella package, not associated with any target, used to make
7
+
the development environment available in the current switch"""
8
+
maintainer: ["xvw <xaviervdw@gmail.com>"]
9
+
authors: ["xvw <xaviervdw@gmail.com>"]
10
+
license: "MIT"
11
+
homepage: "https://tangled.org/xvw/ln-workshop-4-ocaml-unikernel"
12
+
bug-reports: "https://tangled.org/xvw/ln-workshop-4-ocaml-unikernel/issues"
13
+
depends: [
14
+
"dune" {>= "3.21"}
15
+
"ocaml" {>= "5.4.0"}
16
+
"slipshow"
17
+
"utop" {with-dev-setup}
18
+
"ocamlformat" {with-dev-setup}
19
+
"ocp-indent" {with-dev-setup}
20
+
"merlin" {with-dev-setup}
21
+
"ocaml-lsp-server" {with-dev-setup}
22
+
"odoc" {with-doc}
23
+
]
24
+
build: [
25
+
["dune" "subst"] {dev}
26
+
[
27
+
"dune"
28
+
"build"
29
+
"-p"
30
+
name
31
+
"-j"
32
+
jobs
33
+
"@install"
34
+
"@runtest" {with-test}
35
+
"@doc" {with-doc}
36
+
]
37
+
]
38
+
dev-repo: "git+https://tangled.org/xvw/ln-workshop-4-ocaml-unikernel"
39
+
x-maintenance-intent: ["(latest)"]