diff options
| author | Andrei Gherzan <andrei@gherzan.ro> | 2015-02-08 00:30:40 +0200 |
|---|---|---|
| committer | Andrei Gherzan <andrei@gherzan.ro> | 2015-02-08 00:30:40 +0200 |
| commit | dedd45f4f819b0b7b2d13ce7ce71e3fa92832bd4 (patch) | |
| tree | ff055775a03d7ea40f9c14432e7a71007f84d839 /conf/machine/include/rpi-base.inc | |
| parent | 8c8a5cd64ccd49b0bbac46f0a8356fe9f07940ab (diff) | |
| download | meta-raspberrypi-dedd45f4f819b0b7b2d13ce7ce71e3fa92832bd4.tar.gz | |
Use variable for kernel image deployed name on SD card
Change-Id: I4a55b53d337930aae3351629a902dbac832ac958
Signed-off-by: Andrei Gherzan <andrei@gherzan.ro>
Diffstat (limited to 'conf/machine/include/rpi-base.inc')
| -rw-r--r-- | conf/machine/include/rpi-base.inc | 2 |
1 files changed, 1 insertions, 1 deletions
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" | |||
| 46 | # Set Raspberrypi splash image | 46 | # Set Raspberrypi splash image |
| 47 | SPLASH = "psplash-raspberrypi" | 47 | SPLASH = "psplash-raspberrypi" |
| 48 | 48 | ||
| 49 | IMAGE_BOOT_FILES ?= "bcm2835-bootfiles/* ${KERNEL_IMAGETYPE};kernel.img" | 49 | IMAGE_BOOT_FILES ?= "bcm2835-bootfiles/* ${KERNEL_IMAGETYPE};${SDIMG_KERNELIMAGE}" |