From e6f2b684193857f8eb50c09ddad901dfd3c643d5 Mon Sep 17 00:00:00 2001
From: Rolf Neugebauer <rolf.neugebauer@docker.com>
Date: Wed, 17 May 2017 11:21:10 +0100
Subject: [PATCH] kernel: Add vmlinux to debug builds

The vmlinux image is the un-stripped kernel image containing
full debug information which is useful for kernel debugging.

Signed-off-by: Rolf Neugebauer <rolf.neugebauer@docker.com>
---
 kernel/Dockerfile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/kernel/Dockerfile b/kernel/Dockerfile
index 57eb00a64..797831a54 100644
--- a/kernel/Dockerfile
+++ b/kernel/Dockerfile
@@ -33,7 +33,8 @@ RUN make defconfig && \
     make oldconfig && \
     make -j "$(getconf _NPROCESSORS_ONLN)" KCFLAGS="-fno-pie" && \
     cp arch/x86_64/boot/bzImage /out/kernel && \
-    cp System.map /out
+    cp System.map /out && \
+    ([ -n "${DEBUG}" ] && cp vmlinux /out || true)
 
 # Modules
 RUN make INSTALL_MOD_PATH=/tmp/kernel-modules modules_install && \