A new version of KERN is released roughly every 6 months and is based on the latest Ubuntu LTS release.
release of KERN is KERN-3 and is based on Ubuntu 16.04 (Xenial). To enable the KERN-3 repository on a
Now you are ready to install some packages, for example meqtrees:
Docker and singularity
You can use the following Dockerfile as a base for Docker
and Singularity images:
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.
KERN-4 - Ubuntu 18.04
We are currenty preparing for KERN-4, which happens in the KERN-dev repository:
Now you are ready to install some packages, for example presto:
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