Skip to content
<open-source>
Oeiuwq Faith Blog OpenSource Porfolio

GaloisInc/ec2-unikernel

Tool for uploading unikernels into EC2
Source code at GitHub null
GaloisInc/ec2-unikernel.json
{
  "createdAt": "2016-06-07T21:09:36Z",
  "defaultBranch": "master",
  "description": "Tool for uploading unikernels into EC2",
  "fullName": "GaloisInc/ec2-unikernel",
  "homepage": null,
  "language": "Haskell",
  "name": "ec2-unikernel",
  "pushedAt": "2018-08-27T16:45:21Z",
  "stargazersCount": 76,
  "topics": [],
  "updatedAt": "2024-11-05T00:28:16Z",
  "url": "https://github.com/GaloisInc/ec2-unikernel"
}

ec2-unikernel

Section titled “ec2-unikernel”

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

Section titled “Where to Get Binaries”

Fedora Binaries

Section titled “Fedora 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:

Then run dnf update to get all the information you need on the packages in this repository, and dnf install ec2-unikernel to install the tool

Ubuntu Binaries

Section titled “Ubuntu Binaries”

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:

Both of these packages should be signed with the HaLVM Maintainer key (fetch here, fingerprint 6240d595) using the dpkg-sig tool, if you want to verify the release.

Installation

Section titled “Installation”

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 chain.

Limitations

Section titled “Limitations”

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.

In addition, ec2-unikernel only works on Linux systems with the guestfish program installed.

Prerequisites

Section titled “Prerequisites”

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 vmimport role and use it. (Another feature for someone to add: allow people to use a different name for this role.) See this page from Amazon. You can find the policy files they mention in the policies/ subdirectory.

  • You must have installed the guestfish program.