kernels: Add System.map to kernel hub image
Also, don't fail if the headers are not installed
@@ -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 /
