diff --git a/sdk_container/src/third_party/coreos-overlay/eclass/coreos-kernel.eclass b/sdk_container/src/third_party/coreos-overlay/eclass/coreos-kernel.eclass
index 4cd4833821..e9bc5272e9 100644
--- a/sdk_container/src/third_party/coreos-overlay/eclass/coreos-kernel.eclass
+++ b/sdk_container/src/third_party/coreos-overlay/eclass/coreos-kernel.eclass
@@ -128,6 +128,10 @@ coreos-kernel_src_prepare() {
 coreos-kernel_src_configure() {
 	# Use default for any options not explitly set in defconfig
 	yes "" | kmake oldconfig
+
+	# For convinence, generate a minimal defconfig of the build
+	kmake savedefconfig
+	einfo "Saving minimal kernel defconfig as ${KBUILD_OUTPUT}/defconfig"
 }
 
 coreos-kernel_src_compile() {