advertise solo5 package, not solo5-hvt
This commit is contained in:
parent
a3ef854571
commit
559f512a14
1 changed files with 3 additions and 3 deletions
|
@ -18,7 +18,7 @@ Several ready-to-use MirageOS unikernels are built on a daily basis - ranging fr
|
||||||
|
|
||||||
## Deploying MirageOS unikernel
|
## 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
|
### 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
|
$ 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
|
$ 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 update
|
||||||
$ apt install solo5-hvt albatross
|
$ apt install solo5 albatross
|
||||||
```
|
```
|
||||||
|
|
||||||
On FreeBSD:
|
On FreeBSD:
|
||||||
|
@ -41,7 +41,7 @@ $ echo 'robur: {
|
||||||
enabled: yes
|
enabled: yes
|
||||||
}' > /usr/local/etc/pkg/repos/robur.conf # Check https://pkg.robur.coop which ABI are available
|
}' > /usr/local/etc/pkg/repos/robur.conf # Check https://pkg.robur.coop which ABI are available
|
||||||
$ pkg update
|
$ 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.
|
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.
|
||||||
|
|
Loading…
Reference in a new issue