From dc24cade5f037058a4d86fcdd008159923152db5 Mon Sep 17 00:00:00 2001
From: Calascibetta Romain <romain.calascibetta@gmail.com>
Date: Fri, 5 Apr 2024 13:20:06 +0200
Subject: [PATCH] Release of Solo5.0.8.1

* Update the documentation about how to use Solo5 (@fabbing, @dinosaure,
  @Kensan, #558)
* Fix few warnings about the new introduced TLS support (@greydot, #563)
* Prevent the release if we get some errors with `-Werror` (@hannesm, @palainp,
  #565)
* Fix the `gdb` support and the `EFLAGS` register (@greydot, @reynir, #567)
* Fix few warnings and errors on FreeBSD 14 (@hannesm, #564)
* Allow to pass `HOSTAR` and `HOST_PKG_CONFIG` for the NixOS support
  (@sternenseemann, #508)
---
 .../solo5-cross-aarch64.0.8.1/opam            | 45 ++++++++++++++++
 packages/solo5/solo5.0.8.1/opam               | 53 +++++++++++++++++++
 2 files changed, 98 insertions(+)
 create mode 100644 packages/solo5-cross-aarch64/solo5-cross-aarch64.0.8.1/opam
 create mode 100644 packages/solo5/solo5.0.8.1/opam

diff --git a/packages/solo5-cross-aarch64/solo5-cross-aarch64.0.8.1/opam b/packages/solo5-cross-aarch64/solo5-cross-aarch64.0.8.1/opam
new file mode 100644
index 00000000000..61082a94450
--- /dev/null
+++ b/packages/solo5-cross-aarch64/solo5-cross-aarch64.0.8.1/opam
@@ -0,0 +1,45 @@
+opam-version: "2.0"
+maintainer: "martin@lucina.net"
+authors: [
+  "Dan Williams <djwillia@us.ibm.com>"
+  "Martin Lucina <martin@lucina.net>"
+  "Ricardo Koller <kollerr@us.ibm.com>"
+]
+homepage: "https://github.com/solo5/solo5"
+bug-reports: "https://github.com/solo5/solo5/issues"
+license: "ISC"
+dev-repo: "git+https://github.com/solo5/solo5.git"
+build: [
+  ["env" "TARGET_CC=aarch64-linux-gnu-gcc" "TARGET_LD=aarch64-linux-gnu-ld" "TARGET_OBJCOPY=aarch64-linux-gnu-objcopy" "./configure.sh" "--prefix=%{prefix}%"]
+  [make "V=1"]
+]
+install: [make "V=1" "install-toolchain"]
+depends: [
+  "conf-pkg-config" {build & os = "linux"}
+  "conf-libseccomp" {build & os = "linux"}
+  "solo5" {= version}
+]
+depexts: [
+  ["linux-headers"] {os-distribution = "alpine"}
+  ["kernel-headers"] {os-distribution = "fedora"}
+  ["kernel-headers"] {os-distribution = "rhel"}
+  ["linux-libc-dev"] {os-family = "debian"}
+  ["gcc-aarch64-linux-gnu"] {os-family = "debian"}
+]
+available: [
+  (arch != "arm64") &
+  (os = "linux" & os-family = "debian")
+]
+synopsis: "Solo5 sandboxed execution environment"
+description: """
+Solo5 is a sandboxed execution environment primarily intended
+for, but not limited to, running applications built using various
+unikernels (a.k.a.  library operating systems).
+
+This package provides the Solo5 components needed to cross-build
+MirageOS unikernels for the aarch64 architecture.
+"""
+url {
+  src: "https://github.com/Solo5/solo5/releases/download/v0.8.1/solo5-v0.8.1.tar.gz"
+  checksum: "sha512=83d7f1e1a9a9b99029d692c03bf7d61e23945f00e6af074556fe877117c1bdaffbc4e2faf993ace96ab123e82db22bd33c60129878d4a3b4c70406aa937048c9"
+}
diff --git a/packages/solo5/solo5.0.8.1/opam b/packages/solo5/solo5.0.8.1/opam
new file mode 100644
index 00000000000..632a60f7642
--- /dev/null
+++ b/packages/solo5/solo5.0.8.1/opam
@@ -0,0 +1,53 @@
+opam-version: "2.0"
+maintainer: "martin@lucina.net"
+authors: [
+  "Dan Williams <djwillia@us.ibm.com>"
+  "Martin Lucina <martin@lucina.net>"
+  "Ricardo Koller <kollerr@us.ibm.com>"
+]
+homepage: "https://github.com/solo5/solo5"
+bug-reports: "https://github.com/solo5/solo5/issues"
+license: "ISC"
+dev-repo: "git+https://github.com/solo5/solo5.git"
+build: [
+  ["./configure.sh" "--prefix=%{prefix}%"]
+  [make "V=1"]
+]
+install: [make "V=1" "install"]
+depends: [
+  "conf-pkg-config" {build & os = "linux"}
+  "conf-libseccomp" {build & os = "linux"}
+]
+depexts: [
+  ["linux-headers"] {os-distribution = "alpine"}
+  ["kernel-headers"] {os-distribution = "fedora"}
+  ["kernel-headers"] {os-distribution = "rhel"}
+  ["linux-libc-dev"] {os-family = "debian"}
+]
+conflicts: [
+  "ocaml-freestanding" {< "0.7.0"}
+  "solo5-bindings-hvt"
+  "solo5-bindings-spt"
+  "solo5-bindings-virtio"
+  "solo5-bindings-muen"
+  "solo5-bindings-genode"
+  "solo5-bindings-xen"
+]
+available: [
+  (arch = "x86_64" | arch = "arm64" | arch = "ppc64") &
+  (os = "linux" | os = "freebsd" | os = "openbsd")
+]
+x-ci-accept-failures: [ "centos-7" ]
+synopsis: "Solo5 sandboxed execution environment"
+description: """
+Solo5 is a sandboxed execution environment primarily intended
+for, but not limited to, running applications built using various
+unikernels (a.k.a.  library operating systems).
+
+This package provides the Solo5 components needed to build and
+run MirageOS unikernels on the host system.
+"""
+url {
+  src: "https://github.com/Solo5/solo5/releases/download/v0.8.1/solo5-v0.8.1.tar.gz"
+  checksum: "sha512=83d7f1e1a9a9b99029d692c03bf7d61e23945f00e6af074556fe877117c1bdaffbc4e2faf993ace96ab123e82db22bd33c60129878d4a3b4c70406aa937048c9"
+}