diff --git a/scripts/kernels/Dockerfile.deb b/scripts/kernels/Dockerfile.deb index e5ba75a67..39e18d0a3 100644 --- a/scripts/kernels/Dockerfile.deb +++ b/scripts/kernels/Dockerfile.deb @@ -14,8 +14,9 @@ RUN for url in ${DEB_URLS}; do \ RUN mkdir /out RUN cp -a boot/vmlinuz-* /out/kernel RUN cp -a boot/config-* /out/kernel_config +RUN cp -a boot/System.map-* /out/System.map RUN tar cf /out/kernel.tar lib -RUN tar cf /out/kernel-dev.tar usr +RUN tar cf /out/kernel-dev.tar usr || true FROM linuxkit/toybox-media:d7e82a7d19ccc84c9071fa7a88ecaa58ae958f7c@sha256:4c7d25f2be2429cd08417c36e04161cb924e46f3e419ee33a0aa9ff3a0942e02 WORKDIR /