ocaml · shym · Oct 21, 2025 · Oct 21, 2025 · Nov 5, 2025
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
@@ -20,3 +20,12 @@ Please install aarch64-linux-gnu-gcc manually, as there is no known package
 for it for your distribution."""
     {failure}
 x-maintenance-intent: ["(latest)"]
+x-ci-accept-failures: [
+  "alpine-3.22"
+  "centos-9"
+  "centos-10"
+  "opensuse-15.6"
+  "opensuse-tumbleweed"
+  "freebsd-14.3"
+  "macos-homebrew"
+]
diff --git a/packages/ocaml-unikraft-arm64/ocaml-unikraft-arm64.1.1.0/opam b/packages/ocaml-unikraft-arm64/ocaml-unikraft-arm64.1.1.0/opam
@@ -0,0 +1,42 @@
+opam-version: "2.0"
+maintainer: "[email protected]"
+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" & <= "5.4.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.1.0.tar.gz"
+  checksum:
+    "sha256=97b9bdfd07ed0f031954138adbace930790d064ed3a590b9ff46f32f2433fde4"
+}
+available: os = "linux"
+x-maintenance-intent: ["(latest)"]
diff --git a/...l-unikraft-backend-firecracker-arm64/ocaml-unikraft-backend-firecracker-arm64.0.20.0/opam b/...l-unikraft-backend-firecracker-arm64/ocaml-unikraft-backend-firecracker-arm64.0.20.0/opam
@@ -0,0 +1,39 @@
+opam-version: "2.0"
+maintainer: "[email protected]"
+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.1.0.tar.gz"
+  checksum:
+    "sha256=97b9bdfd07ed0f031954138adbace930790d064ed3a590b9ff46f32f2433fde4"
+}
+available: os = "linux"
+x-maintenance-intent: ["(latest)"]
diff --git a/...unikraft-backend-firecracker-x86_64/ocaml-unikraft-backend-firecracker-x86_64.0.20.0/opam b/...unikraft-backend-firecracker-x86_64/ocaml-unikraft-backend-firecracker-x86_64.0.20.0/opam
@@ -0,0 +1,44 @@
+opam-version: "2.0"
+maintainer: "[email protected]"
+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.1.0.tar.gz"
+  checksum:
+    "sha256=97b9bdfd07ed0f031954138adbace930790d064ed3a590b9ff46f32f2433fde4"
+}
+available: os = "linux"
+x-maintenance-intent: ["(latest)"]
+x-ci-accept-failures: [
+  "debian-11" "opensuse-15.6"
+  # Unikraft 0.20.0 is incompatible with the version of GCC in those
+  # distributions
+]
diff --git a/packages/ocaml-unikraft-backend-firecracker/ocaml-unikraft-backend-firecracker.0.20.0/opam b/packages/ocaml-unikraft-backend-firecracker/ocaml-unikraft-backend-firecracker.0.20.0/opam
@@ -0,0 +1,19 @@
+opam-version: "2.0"
+maintainer: "[email protected]"
+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.20.0/opam b/packages/ocaml-unikraft-backend-qemu-arm64/ocaml-unikraft-backend-qemu-arm64.0.20.0/opam
@@ -0,0 +1,39 @@
+opam-version: "2.0"
+maintainer: "[email protected]"
+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.1.0.tar.gz"
+  checksum:
+    "sha256=97b9bdfd07ed0f031954138adbace930790d064ed3a590b9ff46f32f2433fde4"
+}
+available: os = "linux"
+x-maintenance-intent: ["(latest)"]
diff --git a/packages/ocaml-unikraft-backend-qemu-x86_64/ocaml-unikraft-backend-qemu-x86_64.0.20.0/opam b/packages/ocaml-unikraft-backend-qemu-x86_64/ocaml-unikraft-backend-qemu-x86_64.0.20.0/opam
@@ -0,0 +1,44 @@
+opam-version: "2.0"
+maintainer: "[email protected]"
+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.1.0.tar.gz"
+  checksum:
+    "sha256=97b9bdfd07ed0f031954138adbace930790d064ed3a590b9ff46f32f2433fde4"
+}
+available: os = "linux"
+x-maintenance-intent: ["(latest)"]
+x-ci-accept-failures: [
+  "debian-11" "opensuse-15.6"
+  # Unikraft 0.20.0 is incompatible with the version of GCC in those
+  # distributions
+]
diff --git a/packages/ocaml-unikraft-backend-qemu/ocaml-unikraft-backend-qemu.0.20.0/opam b/packages/ocaml-unikraft-backend-qemu/ocaml-unikraft-backend-qemu.0.20.0/opam
@@ -0,0 +1,19 @@
+opam-version: "2.0"
+maintainer: "[email protected]"
+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.1.0/opam b/packages/ocaml-unikraft-default-arm64/ocaml-unikraft-default-arm64.1.1.0/opam
@@ -0,0 +1,25 @@
+opam-version: "2.0"
+maintainer: "[email protected]"
+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.1.0.tar.gz"
+  checksum:
+    "sha256=97b9bdfd07ed0f031954138adbace930790d064ed3a590b9ff46f32f2433fde4"
+}
+available: os = "linux"
+x-maintenance-intent: ["(latest)"]
diff --git a/packages/ocaml-unikraft-default-x86_64/ocaml-unikraft-default-x86_64.1.1.0/opam b/packages/ocaml-unikraft-default-x86_64/ocaml-unikraft-default-x86_64.1.1.0/opam
@@ -0,0 +1,25 @@
+opam-version: "2.0"
+maintainer: "[email protected]"
+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.1.0.tar.gz"
+  checksum:
+    "sha256=97b9bdfd07ed0f031954138adbace930790d064ed3a590b9ff46f32f2433fde4"
+}
+available: os = "linux"
+x-maintenance-intent: ["(latest)"]
diff --git a/packages/ocaml-unikraft-option-debug/ocaml-unikraft-option-debug.0.20.0/opam b/packages/ocaml-unikraft-option-debug/ocaml-unikraft-option-debug.0.20.0/opam
@@ -0,0 +1,12 @@
+opam-version: "2.0"
+maintainer: "[email protected]"
+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
@@ -11,7 +11,8 @@ description:
 authors: "Samuel Hym"
 license: "MIT"
 depends: [
-  "ocaml-unikraft-backend-qemu-arm64" | "ocaml-unikraft-backend-firecracker-arm64"
+  "ocaml-unikraft-backend-qemu-arm64" {= version} |
+  "ocaml-unikraft-backend-firecracker-arm64" {= version}
 ]
 build: [
   [

diff --git a/packages/ocaml-unikraft-toolchain-arm64/ocaml-unikraft-toolchain-arm64.0.20.0/opam b/packages/ocaml-unikraft-toolchain-arm64/ocaml-unikraft-toolchain-arm64.0.20.0/opam
@@ -0,0 +1,34 @@
+opam-version: "2.0"
+maintainer: "[email protected]"
+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" {= version} |
+  "ocaml-unikraft-backend-firecracker-arm64" {= version}
+]
+build: [
+  [
+    make
+    "-j%{jobs}%"
+    "LIB=%{lib}%"
+    "SHARE=%{share}%"
+    "OCUKARCH=arm64"
+    "%{name}%.install"
+  ]
+]
+url {
+  src:
+    "https://github.com/mirage/ocaml-unikraft/archive/refs/tags/v1.1.0.tar.gz"
+  checksum:
+    "sha256=97b9bdfd07ed0f031954138adbace930790d064ed3a590b9ff46f32f2433fde4"
+}
+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
@@ -11,7 +11,8 @@ description:
 authors: "Samuel Hym"
 license: "MIT"
 depends: [
-  "ocaml-unikraft-backend-qemu-x86_64" | "ocaml-unikraft-backend-firecracker-x86_64"
+  "ocaml-unikraft-backend-qemu-x86_64" {= version} |
+  "ocaml-unikraft-backend-firecracker-x86_64" {= version}
 ]
 build: [
   [