From dedd45f4f819b0b7b2d13ce7ce71e3fa92832bd4 Mon Sep 17 00:00:00 2001 From: Andrei Gherzan Date: Sun, 8 Feb 2015 00:30:40 +0200 Subject: Use variable for kernel image deployed name on SD card Change-Id: I4a55b53d337930aae3351629a902dbac832ac958 Signed-off-by: Andrei Gherzan --- conf/machine/include/rpi-base.inc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'conf') diff --git a/conf/machine/include/rpi-base.inc b/conf/machine/include/rpi-base.inc index 65ec712..f1c404d 100644 --- a/conf/machine/include/rpi-base.inc +++ b/conf/machine/include/rpi-base.inc @@ -46,4 +46,4 @@ MACHINE_EXTRA_RRECOMMENDS += " kernel-modules" # Set Raspberrypi splash image SPLASH = "psplash-raspberrypi" -IMAGE_BOOT_FILES ?= "bcm2835-bootfiles/* ${KERNEL_IMAGETYPE};kernel.img" +IMAGE_BOOT_FILES ?= "bcm2835-bootfiles/* ${KERNEL_IMAGETYPE};${SDIMG_KERNELIMAGE}" -- cgit v1.2.3-54-g00ecf