Installing Docker

Installing Docker is quite specific for each hardware architecture and operating system. Here we'll be using Docker Engine for Debian on ARM64. This may seem like an arbitrary choice, but it is also what we would want to install to get Cardano running on the RaspberryPi 4.

The following assumes that you already have SSH access to a running server. In case you've just unboxed your RaspberryPi and are now wondering how to install a 64bit OS on it, have a look at the RaspberryPi 4 Setup.

Setup the Repository

First we need to setup access to the Docker package repository.

$ sudo apt-get install -y \
    apt-transport-https \
    ca-certificates \
    curl \
    gnupg-agent \
    software-properties-common

Add Docker’s official GPG key

$ curl -fsSL https://download.docker.com/linux/ubuntu/gpg | sudo apt-key add -

Verify the GPG fingerprint

$ sudo apt-key fingerprint 0EBFCD88

pub   rsa4096 2017-02-22 [SCEA]
      9DC8 5822 9FC7 DD38 854A  E2D8 8D81 803C 0EBF CD88
uid           [ unknown] Docker Release (CE deb) <[e-mail]>
sub   rsa4096 2017-02-22 [S]

Setup access to the stable repository. Note, here we're doing this for arm64. This command will be different when you want to do this on another architecture.

$ sudo add-apt-repository \
   "deb [arch=arm64] https://download.docker.com/linux/debian \
   $(lsb_release -cs) \
   stable"

Install the latest version of Docker Engine

$ sudo apt-get update
$ sudo apt-get install docker-ce docker-ce-cli containerd.io

Add the current user to the docker group

$ sudo usermod -aG docker $USER

Lets now do a quick restart and see whether the docker engine is running

$ sudo shutdown -r now
$ docker ps

CONTAINER ID   IMAGE     COMMAND   CREATED   STATUS    PORTS     NAMES

Great, now lets continue with Running a Node.