A handy tool for uploading unikernels to Amazon's EC2. http://github.com/GaloisInc/ec2-unikernel
|Latest on Hackage:||0.9.2|
This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow stackage.org to host generated Haddocks.
This tool is designed to provide a single-step mechanism for uploading your unikernels to run on EC2. At its core, it takes an ELF binary that is the unikernel, along with any auxiliary modules, uploads them to S3, and them bundles the whole collection as an AMI that you can then launch at will.
THIS SOFTWARE IS ALPHA QUALITY. BE WARNED.
Where to Get Binaries
The easiest way to get binary installations for Fedora 22, 23, and 24
is through the HaLVM repositories. Using this method will also get you
automatically updated when successive versions come out. To use the
HaLVM repositories, run
dnf install with one of the following links,
depending on your version and architecture:
- Fedora 22 (32-bit): (http://repos.halvm.org/fedora-22/i686/halvm-yum-repo-22-3.fc22.noarch.rpm)
- Fedora 23 (32-bit): (http://repos.halvm.org/fedora-23/i686/halvm-yum-repo-23-3.fc23.noarch.rpm)
- Fedora 24 (32-bit): (http://repos.halvm.org/fedora-24/i686/halvm-yum-repo-24-3.fc24.noarch.rpm)
- Fedora 22 (64-bit): (http://repos.halvm.org/fedora-22/x86_64/halvm-yum-repo-22-3.fc22.noarch.rpm)
- Fedora 23 (64-bit): (http://repos.halvm.org/fedora-23/x86_64/halvm-yum-repo-23-3.fc23.noarch.rpm)
- Fedora 24 (64-bit): (http://repos.halvm.org/fedora-24/x86_64/halvm-yum-repo-24-3.fc24.noarch.rpm)
dnf update to get all the information you need on the
packages in this repository, and
dnf install ec2-unikernel to install
Ubuntu binaries are also available on
repos.halvm.org, although not
in a nice friendly repository structure. (As an aside, if someone wants
to tell me how I could make such a thing, please send me an email.) So
you'll just need to download these manually:
- Ubuntu 16.04 (32-bit): (http://repos.halvm.org/ubuntu-16.04/i686/ec2-unikernel0.9-1i386.deb)
- Ubuntu 16.04 (64-bit): (http://repos.halvm.org/ubuntu-16.04/x8664/ec2-unikernel0.9-1_amd64.deb)
Both of these packages should be signed with the HaLVM Maintainer key (fetch
here, fingerprint 6240d595) using
dpkg-sig tool, if you want to verify the release.
First, we always suggest using a binary from the previous section, as they will usually tell you about any software prerequisites you are missing. (See the section on "Prerequisites" for non-software requirements.)
If you're prefer to build from source, you can either pull the latest version from Hackage by doing:
cabal install ec2-unikernel
Or you can get the bleeding edge by pulling this repository and running
cabal install directly. If you do the latter, let me suggest that a
sandbox (or the forthcoming new-configure/new-build/new-install chain)
might be your friend, as
ec2-unikernel has one hell of a dependency
At the moment,
ec2-unikernel only works with paravirtualized, 64-bit
binaries. Extending the latter to support 32-bit binaries would be a
lovely introductory project for someone who wants to join the project.
Support for HVM domains might be a bit more work.
ec2-unikernel only works on Linux systems with the
This program has three prerequisites:
You must have an AWS account, account key, and secret key, with all the relevant permissions to create S3 buckets and objects and register EC2 snapshots and APIs.
As part of this, you must create a
vmimportrole and use it. (Another feature for someone to add: allow people to use a different name for this role.) See [this page from
You can find the policy files they mention in the
You must have installed the