Installation guide


KERN-4 - Ubuntu 18.04

A new version of KERN is released roughly every 6 months and is based on the latest Ubuntu LTS release. The current release of KERN is KERN-4 and is based on Ubuntu 18.04 (Bionic). To enable the KERN-4 repository on a Ubuntu 18.04 system run:


$ sudo apt-get install software-properties-common
$ sudo add-apt-repository -s ppa:kernsuite/kern-4
$ sudo apt-add-repository multiverse restricted
$ sudo apt-get update

Now you are ready to install some packages, for example meqtrees:


$ sudo apt-get install meqtrees

Docker and singularity

You can use the following Dockerfile as a base for Docker and Singularity images:

FROM kernsuite/base:4
RUN docker-apt-install meqtrees
We have added a docker-apt-install command to the image which is a wrapper around apt-get to first fetch the package list of the Ubuntu archive, install the requested package and finally clean up the temporary cache. This keeps the Docker image small. You can also bootstrap a Singularity image using the Docker image:

Bootstrap: docker
From:kernsuite/base:4
%post
    docker-apt-install meqtrees

KERN-3 - Ubuntu 16.04

If you are still using Ubuntu 16.04 you can use the previous release of KERN, KERN-3:

$ sudo apt-get install software-properties-common
$ sudo add-apt-repository -s ppa:kernsuite/kern-3
$ sudo apt-add-repository multiverse restricted
$ sudo apt-get update

Now you are ready to install some packages, for example meqtrees:


$ sudo apt-get install meqtrees

Older releases

The old releases are KERN-0 for Ubuntu 14.04, KERN-1 and KERN-2 for Ubuntu 16.04. These releases have reached end of live and are not supported anymore. You can still use them though, also inside Docker containers.