Publish OCaml/Unikraft packages v1.0.0

shym · shym · commit 22a2fc72dc11 · 2025-05-26T10:48:50.000+02:00
OCaml/Unikraft: an OCaml cross compiler to Unikraft backends

OCaml/Unikraft is structured into many packages to allow users to build
only what they need.

Packages use one of two version numbers:
- 0.18.0, the upstream release number of Unikraft: used for `unikraft`,
  `unikraft-musl` and backend packages,
- 1.0.0, for packages that are more on the OCaml side.

The 18 packages are as follows:

- `unikraft` and `unikraft-musl`: the latest stable release of upstream
  sources for Unikraft and its lib-musl wrapper, with a couple of
  small patches to fix them for our use case.
- `conf-&lt;arch&gt;-linux-gnu-gcc`: `conf-` packages used when targetting a
  different architecture.
- `ocaml-unikraft-backend-&lt;backend&gt;-&lt;arch&gt;`: all the object files and
  headers necessary to build a unikernel for the specific `&lt;backend&gt;`
  and `&lt;arch&gt;` combination.
- `ocaml-unikraft-option-debug`: if that package is installed, the
  backends will be built with debugging messages.
- `ocaml-unikraft-toolchain-&lt;arch&gt;`: a toolchain using the
  `&lt;arch&gt;-unikraft-ocaml-` prefix; the toolchain is a set of wrapper
  shell scripts to add the necessary options to drive the underlying
  tools.
- `ocaml-unikraft-&lt;arch&gt;`: the actual OCaml cross compilers for the
  given `&lt;arch&gt;`.
- `ocaml-unikraft-default-&lt;arch&gt;`: simple packages that only install a
  `ocamlfind` toolchain named `unikraft` (so that switching between
  architecture do not require to rebuild the full OCaml compiler).
- `ocaml-unikraft-backend-&lt;backend&gt;`: virtual packages to ensure that
  the given `&lt;backend&gt;` is installed for the default architecture, as
  set by which `ocaml-unikraft-default-&lt;arch&gt;` package is installed.
- `ocaml-unikraft`: the virtual package to ensure one of the default
  compiler package is installed.
diff --git a/packages/conf-aarch64-linux-gnu-gcc/conf-aarch64-linux-gnu-gcc.1/opam b/packages/conf-aarch64-linux-gnu-gcc/conf-aarch64-linux-gnu-gcc.1/opam
@@ -0,0 +1,22 @@
+opam-version: "2.0"
+synopsis: "Virtual package relying on the aarch64-linux-gnu-gcc compiler (for C)"
+description:
+  "This package can only install if the aarch64-linux-gnu-gcc compiler is installed on the system (whether this is a cross compiler or not)."
+maintainer: "samuel@tarides.com"
+authors: ["Samuel Hym"]
+license: "GPL-2.0-or-later"
+homepage: "https://github.com/ocaml/opam-repository"
+bug-reports: "https://github.com/ocaml/opam-repository/issues"
+flags: conf
+build: ["aarch64-linux-gnu-gcc" "--version"]
+depexts: [
+  ["gcc-aarch64-linux-gnu"] {os-family = "debian"}
+  ["gcc-aarch64-linux-gnu"] {os-family = "fedora"}
+  ["aarch64-linux-gnu-gcc"] {os-family = "arch"}
+]
+post-messages:
+  """\
+Please install aarch64-linux-gnu-gcc manually, as there is no known package
+for it for your distribution."""
+    {failure}
+x-maintenance-intent: ["(latest)"]
diff --git a/packages/conf-x86_64-linux-gnu-gcc/conf-x86_64-linux-gnu-gcc.1/opam b/packages/conf-x86_64-linux-gnu-gcc/conf-x86_64-linux-gnu-gcc.1/opam
@@ -0,0 +1,22 @@
+opam-version: "2.0"
+synopsis: "Virtual package relying on the x86_64-linux-gnu-gcc compiler (for C)"
+description:
+  "This package can only install if the x86_64-linux-gnu-gcc compiler is installed on the system (whether this is a cross compiler or not)."
+maintainer: "samuel@tarides.com"
+authors: ["Samuel Hym"]
+license: "GPL-2.0-or-later"
+homepage: "https://github.com/ocaml/opam-repository"
+bug-reports: "https://github.com/ocaml/opam-repository/issues"
+flags: conf
+build: ["x86_64-linux-gnu-gcc" "--version"]
+depexts: [
+  ["gcc-x86-64-linux-gnu"] {os-family = "debian"}
+  ["gcc-x86_64-linux-gnu"] {os-family = "fedora"}
+  ["x86_64-linux-gnu-gcc"] {os-family = "arch"}
+]
+post-messages:
+  """\
+Please install x86_64-linux-gnu-gcc manually, as there is no known package
+for it for your distribution."""
+    {failure}
+x-maintenance-intent: ["(latest)"]
diff --git a/packages/ocaml-unikraft-arm64/ocaml-unikraft-arm64.1.0.0/opam b/packages/ocaml-unikraft-arm64/ocaml-unikraft-arm64.1.0.0/opam
@@ -0,0 +1,42 @@
+opam-version: "2.0"
+maintainer: "samuel@tarides.com"
+homepage: "https://github.com/mirage/ocaml-unikraft/"
+dev-repo: "git+https://github.com/mirage/ocaml-unikraft.git"
+bug-reports: "https://github.com/mirage/ocaml-unikraft/issues"
+tags: "org:mirage"
+synopsis: "OCaml cross compiler to the freestanding Unikraft arm64 backends"
+description:
+  "This package provides an OCaml cross compiler, suitable for linking with a Unikraft arm64 unikernel."
+authors: "Samuel Hym"
+license: ["MIT" "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception"]
+depends: [
+  "ocaml" {= "5.3.0"}
+  "ocaml-unikraft-toolchain-arm64"
+  "ocamlfind"
+  "ocaml-src" {build}
+  "conf-git" {build}
+]
+build: [
+  [
+    make
+    "-j%{jobs}%"
+    "prefix=%{prefix}%"
+    "BIN=%{bin}%"
+    "LIB=%{lib}%"
+    "SHARE=%{share}%"
+    "OCUKARCH=arm64"
+    "%{name}%.install"
+  ]
+]
+install: [
+  [make "install-ocaml"]
+]
+conflicts: ["ocaml-option-bytecode-only"]
+url {
+  src:
+    "https://github.com/mirage/ocaml-unikraft/archive/refs/tags/v1.0.0.tar.gz"
+  checksum:
+    "sha256=1ee307b066765da124056ce825683b2dcf58145297f9b717345b6c55e84af2c4"
+}
+available: os = "linux"
+x-maintenance-intent: ["(latest)"]
diff --git a/packages/ocaml-unikraft-backend-firecracker-arm64/ocaml-unikraft-backend-firecracker-arm64.0.18.0/opam b/packages/ocaml-unikraft-backend-firecracker-arm64/ocaml-unikraft-backend-firecracker-arm64.0.18.0/opam
@@ -0,0 +1,39 @@
+opam-version: "2.0"
+maintainer: "samuel@tarides.com"
+homepage: "https://github.com/mirage/ocaml-unikraft/"
+dev-repo: "git+https://github.com/mirage/ocaml-unikraft.git"
+bug-reports: "https://github.com/mirage/ocaml-unikraft/issues"
+tags: "org:mirage"
+synopsis: "Firecracker/arm64 Unikraft backend for OCaml"
+authors: ["Samuel Hym" "Unikraft contributors"]
+license: ["MIT" "BSD-3-Clause" "GPL-2.0-only"]
+depends: [
+  "unikraft" {= version}
+  "unikraft-musl" {= version}
+  "conf-aarch64-linux-gnu-gcc" {arch != "arm64"}
+]
+depopts: [
+  "ocaml-unikraft-option-debug"
+]
+build: [
+  [
+    make
+    "-j%{jobs}%"
+    "UNIKRAFT=%{unikraft:lib}%"
+    "UNIKRAFTMUSL=%{unikraft-musl:lib}%"
+    "OCUKPLAT=firecracker"
+    "OCUKARCH=arm64"
+    "OCUKEXTLIBS=musl"
+    "OCUKCONFIGOPTS+=debug" {ocaml-unikraft-option-debug:installed}
+    "UK_CFLAGS=-std=gnu11"
+    "%{name}%.install"
+  ]
+]
+url {
+  src:
+    "https://github.com/mirage/ocaml-unikraft/archive/refs/tags/v1.0.0.tar.gz"
+  checksum:
+    "sha256=1ee307b066765da124056ce825683b2dcf58145297f9b717345b6c55e84af2c4"
+}
+available: os = "linux"
+x-maintenance-intent: ["(latest)"]
diff --git a/packages/ocaml-unikraft-backend-firecracker-x86_64/ocaml-unikraft-backend-firecracker-x86_64.0.18.0/opam b/packages/ocaml-unikraft-backend-firecracker-x86_64/ocaml-unikraft-backend-firecracker-x86_64.0.18.0/opam
@@ -0,0 +1,39 @@
+opam-version: "2.0"
+maintainer: "samuel@tarides.com"
+homepage: "https://github.com/mirage/ocaml-unikraft/"
+dev-repo: "git+https://github.com/mirage/ocaml-unikraft.git"
+bug-reports: "https://github.com/mirage/ocaml-unikraft/issues"
+tags: "org:mirage"
+synopsis: "Firecracker/x86_64 Unikraft backend for OCaml"
+authors: ["Samuel Hym" "Unikraft contributors"]
+license: ["MIT" "BSD-3-Clause" "GPL-2.0-only"]
+depends: [
+  "unikraft" {= version}
+  "unikraft-musl" {= version}
+  "conf-x86_64-linux-gnu-gcc" {arch != "x86_64"}
+]
+depopts: [
+  "ocaml-unikraft-option-debug"
+]
+build: [
+  [
+    make
+    "-j%{jobs}%"
+    "UNIKRAFT=%{unikraft:lib}%"
+    "UNIKRAFTMUSL=%{unikraft-musl:lib}%"
+    "OCUKPLAT=firecracker"
+    "OCUKARCH=x86_64"
+    "OCUKEXTLIBS=musl"
+    "OCUKCONFIGOPTS+=debug" {ocaml-unikraft-option-debug:installed}
+    "UK_CFLAGS=-std=gnu11"
+    "%{name}%.install"
+  ]
+]
+url {
+  src:
+    "https://github.com/mirage/ocaml-unikraft/archive/refs/tags/v1.0.0.tar.gz"
+  checksum:
+    "sha256=1ee307b066765da124056ce825683b2dcf58145297f9b717345b6c55e84af2c4"
+}
+available: os = "linux"
+x-maintenance-intent: ["(latest)"]
diff --git a/packages/ocaml-unikraft-backend-firecracker/ocaml-unikraft-backend-firecracker.0.18.0/opam b/packages/ocaml-unikraft-backend-firecracker/ocaml-unikraft-backend-firecracker.0.18.0/opam
@@ -0,0 +1,19 @@
+opam-version: "2.0"
+maintainer: "samuel@tarides.com"
+homepage: "https://github.com/mirage/ocaml-unikraft/"
+dev-repo: "git+https://github.com/mirage/ocaml-unikraft.git"
+bug-reports: "https://github.com/mirage/ocaml-unikraft/issues"
+tags: "org:mirage"
+synopsis:
+  "Virtual package to ensure the Firecracker Unikraft backend is installed for the default cross compiler"
+description:
+  "This virtual package ensures that the Firecracker backend is installed for the default `unikraft` ocamlfind cross toolchain."
+authors: "Samuel Hym"
+license: "MIT"
+depends: [
+  "ocaml-unikraft"
+  ("ocaml-unikraft-default-x86_64" & "ocaml-unikraft-backend-firecracker-x86_64") |
+  ("ocaml-unikraft-default-arm64" & "ocaml-unikraft-backend-firecracker-arm64")
+]
+available: os = "linux"
+x-maintenance-intent: ["(latest)"]
diff --git a/packages/ocaml-unikraft-backend-qemu-arm64/ocaml-unikraft-backend-qemu-arm64.0.18.0/opam b/packages/ocaml-unikraft-backend-qemu-arm64/ocaml-unikraft-backend-qemu-arm64.0.18.0/opam
@@ -0,0 +1,39 @@
+opam-version: "2.0"
+maintainer: "samuel@tarides.com"
+homepage: "https://github.com/mirage/ocaml-unikraft/"
+dev-repo: "git+https://github.com/mirage/ocaml-unikraft.git"
+bug-reports: "https://github.com/mirage/ocaml-unikraft/issues"
+tags: "org:mirage"
+synopsis: "QEMU/arm64 Unikraft backend for OCaml"
+authors: ["Samuel Hym" "Unikraft contributors"]
+license: ["MIT" "BSD-3-Clause" "GPL-2.0-only"]
+depends: [
+  "unikraft" {= version}
+  "unikraft-musl" {= version}
+  "conf-aarch64-linux-gnu-gcc" {arch != "arm64"}
+]
+depopts: [
+  "ocaml-unikraft-option-debug"
+]
+build: [
+  [
+    make
+    "-j%{jobs}%"
+    "UNIKRAFT=%{unikraft:lib}%"
+    "UNIKRAFTMUSL=%{unikraft-musl:lib}%"
+    "OCUKPLAT=qemu"
+    "OCUKARCH=arm64"
+    "OCUKEXTLIBS=musl"
+    "OCUKCONFIGOPTS+=debug" {ocaml-unikraft-option-debug:installed}
+    "UK_CFLAGS=-std=gnu11"
+    "%{name}%.install"
+  ]
+]
+url {
+  src:
+    "https://github.com/mirage/ocaml-unikraft/archive/refs/tags/v1.0.0.tar.gz"
+  checksum:
+    "sha256=1ee307b066765da124056ce825683b2dcf58145297f9b717345b6c55e84af2c4"
+}
+available: os = "linux"
+x-maintenance-intent: ["(latest)"]
diff --git a/packages/ocaml-unikraft-backend-qemu-x86_64/ocaml-unikraft-backend-qemu-x86_64.0.18.0/opam b/packages/ocaml-unikraft-backend-qemu-x86_64/ocaml-unikraft-backend-qemu-x86_64.0.18.0/opam
@@ -0,0 +1,39 @@
+opam-version: "2.0"
+maintainer: "samuel@tarides.com"
+homepage: "https://github.com/mirage/ocaml-unikraft/"
+dev-repo: "git+https://github.com/mirage/ocaml-unikraft.git"
+bug-reports: "https://github.com/mirage/ocaml-unikraft/issues"
+tags: "org:mirage"
+synopsis: "QEMU/x86_64 Unikraft backend for OCaml"
+authors: ["Samuel Hym" "Unikraft contributors"]
+license: ["MIT" "BSD-3-Clause" "GPL-2.0-only"]
+depends: [
+  "unikraft" {= version}
+  "unikraft-musl" {= version}
+  "conf-x86_64-linux-gnu-gcc" {arch != "x86_64"}
+]
+depopts: [
+  "ocaml-unikraft-option-debug"
+]
+build: [
+  [
+    make
+    "-j%{jobs}%"
+    "UNIKRAFT=%{unikraft:lib}%"
+    "UNIKRAFTMUSL=%{unikraft-musl:lib}%"
+    "OCUKPLAT=qemu"
+    "OCUKARCH=x86_64"
+    "OCUKEXTLIBS=musl"
+    "OCUKCONFIGOPTS+=debug" {ocaml-unikraft-option-debug:installed}
+    "UK_CFLAGS=-std=gnu11"
+    "%{name}%.install"
+  ]
+]
+url {
+  src:
+    "https://github.com/mirage/ocaml-unikraft/archive/refs/tags/v1.0.0.tar.gz"
+  checksum:
+    "sha256=1ee307b066765da124056ce825683b2dcf58145297f9b717345b6c55e84af2c4"
+}
+available: os = "linux"
+x-maintenance-intent: ["(latest)"]
diff --git a/packages/ocaml-unikraft-backend-qemu/ocaml-unikraft-backend-qemu.0.18.0/opam b/packages/ocaml-unikraft-backend-qemu/ocaml-unikraft-backend-qemu.0.18.0/opam
@@ -0,0 +1,19 @@
+opam-version: "2.0"
+maintainer: "samuel@tarides.com"
+homepage: "https://github.com/mirage/ocaml-unikraft/"
+dev-repo: "git+https://github.com/mirage/ocaml-unikraft.git"
+bug-reports: "https://github.com/mirage/ocaml-unikraft/issues"
+tags: "org:mirage"
+synopsis:
+  "Virtual package to ensure the QEMU Unikraft backend is installed for the default cross compiler"
+description:
+  "This virtual package ensures that the QEMU backend is installed for the default `unikraft` ocamlfind cross toolchain."
+authors: "Samuel Hym"
+license: "MIT"
+depends: [
+  "ocaml-unikraft"
+  ("ocaml-unikraft-default-x86_64" & "ocaml-unikraft-backend-qemu-x86_64") |
+  ("ocaml-unikraft-default-arm64" & "ocaml-unikraft-backend-qemu-arm64")
+]
+available: os = "linux"
+x-maintenance-intent: ["(latest)"]
diff --git a/packages/ocaml-unikraft-default-arm64/ocaml-unikraft-default-arm64.1.0.0/opam b/packages/ocaml-unikraft-default-arm64/ocaml-unikraft-default-arm64.1.0.0/opam
@@ -0,0 +1,25 @@
+opam-version: "2.0"
+maintainer: "samuel@tarides.com"
+homepage: "https://github.com/mirage/ocaml-unikraft/"
+dev-repo: "git+https://github.com/mirage/ocaml-unikraft.git"
+bug-reports: "https://github.com/mirage/ocaml-unikraft/issues"
+tags: "org:mirage"
+synopsis:
+  "OCaml default cross compiler to the freestanding Unikraft arm64 backends"
+description:
+  "This package provides an OCaml cross compiler, suitable for linking with a Unikraft arm64 unikernel, as the default `unikraft` ocamlfind toolchain."
+authors: "Samuel Hym"
+license: "MIT"
+depends: ["ocaml-unikraft-arm64" "ocamlfind"]
+conflict-class: "ocaml-unikraft-default"
+build: [
+  [make "prefix=%{prefix}%" "OCUKARCH=arm64" "%{name}%.install"]
+]
+url {
+  src:
+    "https://github.com/mirage/ocaml-unikraft/archive/refs/tags/v1.0.0.tar.gz"
+  checksum:
+    "sha256=1ee307b066765da124056ce825683b2dcf58145297f9b717345b6c55e84af2c4"
+}
+available: os = "linux"
+x-maintenance-intent: ["(latest)"]
diff --git a/packages/ocaml-unikraft-default-x86_64/ocaml-unikraft-default-x86_64.1.0.0/opam b/packages/ocaml-unikraft-default-x86_64/ocaml-unikraft-default-x86_64.1.0.0/opam
@@ -0,0 +1,25 @@
+opam-version: "2.0"
+maintainer: "samuel@tarides.com"
+homepage: "https://github.com/mirage/ocaml-unikraft/"
+dev-repo: "git+https://github.com/mirage/ocaml-unikraft.git"
+bug-reports: "https://github.com/mirage/ocaml-unikraft/issues"
+tags: "org:mirage"
+synopsis:
+  "OCaml default cross compiler to the freestanding Unikraft x86_64 backends"
+description:
+  "This package provides an OCaml cross compiler, suitable for linking with a Unikraft x86_64 unikernel, as the default `unikraft` ocamlfind toolchain."
+authors: "Samuel Hym"
+license: "MIT"
+depends: ["ocaml-unikraft-x86_64" "ocamlfind"]
+conflict-class: "ocaml-unikraft-default"
+build: [
+  [make "prefix=%{prefix}%" "OCUKARCH=x86_64" "%{name}%.install"]
+]
+url {
+  src:
+    "https://github.com/mirage/ocaml-unikraft/archive/refs/tags/v1.0.0.tar.gz"
+  checksum:
+    "sha256=1ee307b066765da124056ce825683b2dcf58145297f9b717345b6c55e84af2c4"
+}
+available: os = "linux"
+x-maintenance-intent: ["(latest)"]
diff --git a/packages/ocaml-unikraft-option-debug/ocaml-unikraft-option-debug.0.18.0/opam b/packages/ocaml-unikraft-option-debug/ocaml-unikraft-option-debug.0.18.0/opam
@@ -0,0 +1,12 @@
+opam-version: "2.0"
+maintainer: "samuel@tarides.com"
+homepage: "https://github.com/mirage/ocaml-unikraft/"
+dev-repo: "git+https://github.com/mirage/ocaml-unikraft.git"
+bug-reports: "https://github.com/mirage/ocaml-unikraft/issues"
+tags: "org:mirage"
+synopsis:
+  "Virtual package to enable debugging in the Unikraft backends"
+authors: "Samuel Hym"
+license: "MIT"
+available: os = "linux"
+x-maintenance-intent: ["(latest)"]
diff --git a/packages/ocaml-unikraft-toolchain-arm64/ocaml-unikraft-toolchain-arm64.0.18.0/opam b/packages/ocaml-unikraft-toolchain-arm64/ocaml-unikraft-toolchain-arm64.0.18.0/opam
@@ -0,0 +1,33 @@
+opam-version: "2.0"
+maintainer: "samuel@tarides.com"
+homepage: "https://github.com/mirage/ocaml-unikraft/"
+dev-repo: "git+https://github.com/mirage/ocaml-unikraft.git"
+bug-reports: "https://github.com/mirage/ocaml-unikraft/issues"
+tags: "org:mirage"
+synopsis:
+  "C toolchain to build an OCaml cross compiler to the freestanding Unikraft arm64 backends"
+description:
+  "This package provides a C toolchain to build an OCaml cross compiler, suitable for linking with a Unikraft arm64 unikernel."
+authors: "Samuel Hym"
+license: "MIT"
+depends: [
+  "ocaml-unikraft-backend-qemu-arm64" | "ocaml-unikraft-backend-firecracker-arm64"
+]
+build: [
+  [
+    make
+    "-j%{jobs}%"
+    "LIB=%{lib}%"
+    "SHARE=%{share}%"
+    "OCUKARCH=arm64"
+    "%{name}%.install"
+  ]
+]
+url {
+  src:
+    "https://github.com/mirage/ocaml-unikraft/archive/refs/tags/v1.0.0.tar.gz"
+  checksum:
+    "sha256=1ee307b066765da124056ce825683b2dcf58145297f9b717345b6c55e84af2c4"
+}
+available: os = "linux"
+x-maintenance-intent: ["(latest)"]
diff --git a/packages/ocaml-unikraft-toolchain-x86_64/ocaml-unikraft-toolchain-x86_64.0.18.0/opam b/packages/ocaml-unikraft-toolchain-x86_64/ocaml-unikraft-toolchain-x86_64.0.18.0/opam
diff --git a/packages/ocaml-unikraft-x86_64/ocaml-unikraft-x86_64.1.0.0/opam b/packages/ocaml-unikraft-x86_64/ocaml-unikraft-x86_64.1.0.0/opam
diff --git a/packages/ocaml-unikraft/ocaml-unikraft.1.0.0/opam b/packages/ocaml-unikraft/ocaml-unikraft.1.0.0/opam
diff --git a/packages/unikraft-musl/unikraft-musl.0.18.0/opam b/packages/unikraft-musl/unikraft-musl.0.18.0/opam
diff --git a/packages/unikraft/unikraft.0.18.0/opam b/packages/unikraft/unikraft.0.18.0/opam
