docker: use -slim base image for debian

The hope is to reduce image size. This might need further adjustments to explicitly include packages that were implicit before. Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
seL4 · Mar 16, 2024 · 120c213 · 120c213
1 parent 7f07b47
commit 120c213
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/Makefile b/Makefile
@@ -9,7 +9,7 @@ DOCKER ?= docker
 DOCKERHUB ?= trustworthysystems/
 
 # Base images
-DEBIAN_IMG ?= debian:bullseye
+DEBIAN_IMG ?= debian:bullseye-slim
 BASETOOLS_IMG ?= base_tools
 
 # Core images

diff --git a/dockerfiles/base_tools.Dockerfile b/dockerfiles/base_tools.Dockerfile
@@ -4,7 +4,7 @@
 # SPDX-License-Identifier: BSD-2-Clause
 #
 
-ARG BASE_IMG=debian:bullseye
+ARG BASE_IMG=debian:bullseye-slim
 # hadolint ignore=DL3006
 FROM $BASE_IMG
 LABEL ORGANISATION="Trustworthy Systems"