From 015736c13909d532b55b1280cc4c91c7455e1434 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Reynir=20Bj=C3=B6rnsson?= Date: Wed, 7 Dec 2022 11:25:13 +0100 Subject: [PATCH] Use solo5 package rather than solo5-hvt --- Projects/Reproducible_builds | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/Projects/Reproducible_builds b/Projects/Reproducible_builds index bcfdeff..d260758 100644 --- a/Projects/Reproducible_builds +++ b/Projects/Reproducible_builds @@ -18,7 +18,7 @@ Several ready-to-use MirageOS unikernels are built on a daily basis - ranging fr ## Deploying MirageOS unikernel -To run a MirageOS unikernel on your laptop or computer with virtualization extensions (VT-x - KVM/BHyve), you first have to install the `solo5-hvt` and `albatross` packages. Afterwards you need to setup a virtual network switch (a bridge interface) where your unikernels will communicate, and forwarding. +To run a MirageOS unikernel on your laptop or computer with virtualization extensions (VT-x - KVM/BHyve), you first have to install the `solo5` and `albatross` packages. Afterwards you need to setup a virtual network switch (a bridge interface) where your unikernels will communicate, and forwarding. ### Host system package installation @@ -27,7 +27,7 @@ For Debian and Ubuntu systems, we provide package repositories. Browse the [dist $ wget -q -O /etc/apt/trusted.gpg.d/apt.robur.coop.gpg https://apt.robur.coop/gpg.pub $ echo "deb https://apt.robur.coop ubuntu-20.04 main" >> /etc/apt/sources.list # replace ubuntu-20.04 with e.g. debian-11 on a debian buster machine $ apt update -$ apt install solo5-hvt albatross +$ apt install solo5 albatross ``` On FreeBSD: @@ -41,7 +41,7 @@ $ echo 'robur: { enabled: yes }' > /usr/local/etc/pkg/repos/robur.conf # Check https://pkg.robur.coop which ABI are available $ pkg update -$ pkg install solo5-hvt albatross +$ pkg install solo5 albatross ``` For other distributions and systems we do not (yet?) provide binary packages. You can compile and install them using [opam](https://opam.ocaml.org) (`opam install solo5 albatross`). Get in touch if you're keen on adding some other distribution to our reproducible build infrastructure.