chore: use debian as the base image

cartesi · Nov 27, 2023 · b8e807d · b8e807d
1 parent 155c6bb
commit b8e807d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Dockerfile b/Dockerfile
@@ -14,7 +14,7 @@
 # limitations under the License.
 #
 
-FROM --platform=linux/riscv64 riscv64/ubuntu:22.04 as sdk
+FROM --platform=linux/riscv64 riscv64/debian:sid-slim as sdk
 ARG LINUX_SOURCES_VERSION=5.15.63-ctsi-2
 ARG LINUX_SOURCES_FILEPATH=dep/linux-sources-${LINUX_SOURCES_VERSION}.tar.gz
 ARG RNDADDENTROPY_VERSION=3.0.0