From 2a2c85a2e08f55bc8ac635d11d07473190f452eb Mon Sep 17 00:00:00 2001 From: Andrin Bertschi Date: Fri, 3 May 2024 19:01:23 +0200 Subject: [PATCH] Update README.md --- docker/README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/docker/README.md b/docker/README.md index eb86386..84ecf70 100644 --- a/docker/README.md +++ b/docker/README.md @@ -6,6 +6,7 @@ A docker container captures all dependencies to build heckler kernels, vmm and t ``` ./docker-build.sh ``` +Alternatively, a prebuilt container is pushed to [docker hub](https://hub.docker.com/r/beancd/ahoi-heckler/tags). ### Enter Container @@ -17,3 +18,4 @@ A docker container captures all dependencies to build heckler kernels, vmm and t ``` ./docker-rm.sh ``` +