3 files changed, 6 insertions, 0 deletions

diff --git a/conf/machine/10m50.conf b/conf/machine/10m50.conf
index dadcbbd..36dcf77 100644
--- a/conf/machine/10m50.conf
+++ b/conf/machine/10m50.conf
@@ -18,6 +18,8 @@ KERNEL_DEVICETREE = "10m50_devboard.dtb"
 MACHINE_EXTRA_RRECOMMENDS = "kernel-modules"
 MACHINE_FEATURES = "kernel26 serial"
 
+KBUILD_DEFCONFIG ?= "10m50_defconfig"
+
 SERIAL_CONSOLE = "115200 ttyS0"
 
 PREFERRED_PROVIDER_virtual/kernel ??= "linux-altera-ltsi"
diff --git a/conf/machine/include/socfpga.inc b/conf/machine/include/socfpga.inc
index f274060..3b36bbc 100644
--- a/conf/machine/include/socfpga.inc
+++ b/conf/machine/include/socfpga.inc
@@ -21,6 +21,8 @@ KERNEL_IMAGETYPE ?= "zImage"
 MACHINE_EXTRA_RRECOMMENDS = " kernel-modules"
 MACHINE_FEATURES = "kernel26"
 
+KBUILD_DEFCONFIG ?= "socfpga_defconfig"
+
 # file system images required
 IMAGE_FSTYPES ?= "cpio ext3 tar.gz jffs2"
 
diff --git a/conf/machine/include/socfpga_armv8a.inc b/conf/machine/include/socfpga_armv8a.inc
index 150e3f2..40f9353 100644
--- a/conf/machine/include/socfpga_armv8a.inc
+++ b/conf/machine/include/socfpga_armv8a.inc
@@ -5,6 +5,8 @@ PREFERRED_PROVIDER_virtual/kernel ?= "${KERNEL_PROVIDER}"
 KERNEL_IMAGETYPE = "Image"
 MACHINE_EXTRA_RRECOMMENDS += "kernel-modules"
 
+KBUILD_DEFCONFIG ?= "defconfig"
+
 PREFERRED_PROVIDER_virtual/bootloader ?= "u-boot-socfpga"
 PREFERRED_PROVIDER_u-boot ?= "u-boot-socfpga"