diff --git a/install-docker-rpm.sh b/install-docker-rpm.sh
new file mode 100644
index 0000000000000000000000000000000000000000..da590fca19f479975a864960fb6aa24b5a175248
--- /dev/null
+++ b/install-docker-rpm.sh
@@ -0,0 +1,29 @@
+#!/bin/bash
+#
+# This script helps us to prepare a Docker host for the build system
+#
+# It is used with Docker Machine to install Docker, plus addons
+#
+# See --engine-install-url at docker-machine create --help
+
+set -e
+
+run() {
+  (set -x; "$@")
+}
+
+sudo mkdir -p /etc/docker
+
+cat <<EOF |sudo tee /etc/docker/daemon.json >/dev/null
+{
+  "registry-mirrors": ["https://mirror.gcr.io"]
+}
+EOF
+
+echo "Installing Docker via get.docker.com"
+run curl -LsS https://get.docker.com -o /tmp/get-docker.sh
+run sh /tmp/get-docker.sh
+
+echo "Installing QEMU and helpers"
+run sudo dnf update
+run sudo dnf install -y qemu-user-static binfmt-support