diff --git a/kernel/Dockerfile.kconfig b/kernel/Dockerfile.kconfig
index 4b46712f0..f1dbb0a5c 100644
--- a/kernel/Dockerfile.kconfig
+++ b/kernel/Dockerfile.kconfig
@@ -6,7 +6,10 @@ RUN apk add \
     curl \
     diffutils \
     flex \
+    gmp-dev \
     libarchive-tools \
+    mpc1-dev \
+    mpfr-dev \
     ncurses-dev \
     patch \
     xz