diff --git a/packages/gilbraltar-toolchain/gilbraltar-toolchain.0.0.1/opam b/packages/gilbraltar-toolchain/gilbraltar-toolchain.0.0.1/opam
new file mode 100644
index 00000000..bbec1961
--- /dev/null
+++ b/packages/gilbraltar-toolchain/gilbraltar-toolchain.0.0.1/opam
@@ -0,0 +1,31 @@
+opam-version: "2.0"
+maintainer: "Romain Calascibetta <romain.calascibetta@gmail.com>"
+authors: "Romain Calascibetta <romain.calascibetta@gmail.com>"
+homepage: "https://github.com/dinosaure/gilbraltar"
+bug-reports: "https://github.com/dinosaure/gilbraltar/issues/"
+license: "MIT"
+tags: "org:mirage"
+dev-repo: "git+https://github.com/dinosaure/gilbraltar.git"
+build: [
+  [ "sh" "-c" "cd kernel ; ./configure.sh --prefix=%{prefix}%" ]
+  [ "sh" "-c" "cd kernel ; %{make}% all" ]
+]
+install: [ "sh" "-c" "cd kernel ; %{make}% install" ]
+depends: [ ]
+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: "Raspberry Pi 4 OCaml compiler"
+description:
+  "This package provides a freestanding OCaml cross-compiler, suitable for linking with a unikernel base layer for Raspberry Pi 4."
+url {
+  src: "git+https://github.com/dinosaure/gilbraltar.git#6329dbe0b828ed8c64191fda0e01f1e9c92bee2b"
+}
diff --git a/packages/gilbraltar/gilbraltar.0.0.1/opam b/packages/gilbraltar/gilbraltar.0.0.1/opam
new file mode 100644
index 00000000..efff9ea4
--- /dev/null
+++ b/packages/gilbraltar/gilbraltar.0.0.1/opam
@@ -0,0 +1,31 @@
+opam-version: "2.0"
+maintainer: "Romain Calascibetta <romain.calascibetta@gmail.com>"
+authors: "Romain Calascibetta <romain.calascibetta@gmail.com>"
+homepage: "https://github.com/dinosaure/gilbraltar"
+bug-reports: "https://github.com/dinosaure/gilbraltar/issues/"
+license: "MIT"
+tags: "org:mirage"
+dev-repo: "git+https://github.com/dinosaure/gilbraltar.git"
+build: [
+  ["sh" "-c" "cd caml ; ./configure.sh --prefix=%{prefix}%" ]
+  ["sh" "-c" "cd caml ; %{make}% -j%{jobs}%"]
+]
+install: ["sh" "-c" "cd caml ; %{make}% install" ]
+depends: [
+  "ocamlfind" {build}
+  "ocaml-src" {build}
+  "gilbraltar-toolchain" {build & = version}
+  "ocaml" {>= "4.08.0" & < "4.14.0"}
+  "dune" {with-test}
+]
+available: [
+  ( (os = "linux"   & (arch = "x86_64" | arch = "arm64"))
+  | (os = "freebsd" &  arch = "x86_64")
+  | (os = "openbsd" &  arch = "x86_64"))
+]
+synopsis: "Raspberry Pi 4 OCaml compiler"
+description:
+  "This package provides a freestanding OCaml cross-compiler, suitable for linking with a unikernel base layer for Raspberry Pi 4."
+url {
+  src: "git+https://github.com/dinosaure/gilbraltar.git#6329dbe0b828ed8c64191fda0e01f1e9c92bee2b"
+}
diff --git a/packages/mirage-console-gilbraltar/mirage-console-gilbraltar.0.0.1/opam b/packages/mirage-console-gilbraltar/mirage-console-gilbraltar.0.0.1/opam
new file mode 100644
index 00000000..b3d933d0
--- /dev/null
+++ b/packages/mirage-console-gilbraltar/mirage-console-gilbraltar.0.0.1/opam
@@ -0,0 +1,37 @@
+opam-version: "2.0"
+maintainer:    "Romain Calascibetta <romain.calascibetta@gmail.com>"
+homepage:      "https://github.com/dinosaure/gilbraltar"
+bug-reports:   "https://github.com/dinosaure/gilbraltar/issues"
+dev-repo:      "git+https://github.com/dinosaure/gilbraltar.git"
+doc:           "https://mirage.github.io/gilbraltar/"
+license:       "ISC"
+authors: [
+  "Anil Madhavapeddy <anil@recoil.org>"
+  "Dan Williams <djwillia@us.ibm.com>"
+  "Martin Lucina <martin@lucina.net>"
+]
+tags: [
+  "org:mirage"
+]
+build: [
+  ["dune" "subst"] {pinned}
+  ["dune" "build" "-p" name "-j" jobs]
+  ["dune" "runtest" "-p" name] {with-test}
+]
+depends: [
+  "ocaml"             {>= "4.06.0"}
+  "dune"              {>= "1.0"}
+  "mirage-console"    {>= "3.0.0"}
+  "mirage-gilbraltar"
+  "bigstringaf"
+  "cstruct"
+  "cstruct"
+  "lwt"
+  "ke"                {>= "0.4"}
+]
+synopsis: "Solo5 implementation of MirageOS console interface"
+description:
+  "This library implements the MirageOS console interface for Solo5 targets."
+url {
+  src: "git+https://github.com/dinosaure/gilbraltar.git#6329dbe0b828ed8c64191fda0e01f1e9c92bee2b"
+}
diff --git a/packages/mirage-gilbraltar/mirage-gilbraltar.0.0.1/opam b/packages/mirage-gilbraltar/mirage-gilbraltar.0.0.1/opam
new file mode 100644
index 00000000..bc7b9625
--- /dev/null
+++ b/packages/mirage-gilbraltar/mirage-gilbraltar.0.0.1/opam
@@ -0,0 +1,31 @@
+opam-version: "2.0"
+maintainer:   "Romain Calascibetta <romain.calascibetta@gmail.com>"
+homepage:     "https://github.com/dinosaure/gilbraltar"
+bug-reports:  "https://github.com/dinosaure/gilbraltar/issues/"
+dev-repo:     "git+https://github.com/dinosaure/gilbraltar.git"
+license:      "ISC"
+authors: [
+  "Romain Calascibetta <romain.calascibetta@gmail.com>"
+]
+tags: [
+  "org:mirage"
+]
+build: [
+  ["dune" "subst"] {pinned}
+  ["dune" "build" "-p" name "-j" jobs ]
+]
+depends: [
+  "dune"           {>= "2.6.0"}
+  "bheap"          {>= "2.0.0"}
+  "cstruct"        {>= "1.0.1"}
+  "lwt"            {>= "2.4.3"}
+  "mirage-runtime" {>= "3.7.0"}
+  "duration"
+]
+synopsis: "Gilbraltar and MirageOS"
+description: """
+Gilbraltar and MirageOS
+"""
+url {
+  src: "git+https://github.com/dinosaure/gilbraltar.git#6329dbe0b828ed8c64191fda0e01f1e9c92bee2b"
+}
diff --git a/packages/mirage/mirage.4.0.0/opam b/packages/mirage/mirage.4.0.0/opam
index 7661e042..17270566 100644
--- a/packages/mirage/mirage.4.0.0/opam
+++ b/packages/mirage/mirage.4.0.0/opam
@@ -43,5 +43,5 @@ Amazon EC2 or Rackspace, this lets your servers run more cheaply,
 securely and with finer control than with a full software stack.
 """
 url {
-  src: "git+https://github.com/mirage/mirage.git#8829635b063526c1fe70d66cb4d9074cd4a2ef99"
+  src: "git+https://github.com/dinosaure/mirage.git#rpi4"
 }