raspberrypi.conf: add IMAGE_BOOT_FILES

Add IMAGE_BOOT_FILES that defines a list of files to be placed in boot
partition. The variable is effectivey used with wic when building a SD
card image.

Change-Id: Ie7b2ea032349bf33ce7a9afc70e2fb4806ff9a04
Signed-off-by: Maciej Borzecki <maciej.borzecki@open-rnd.pl>
Signed-off-by: Maciek Borzecki <maciek.borzecki@gmail.com>
Acked-by: Andrei Gherzan <andrei@gherzan.ro>
This commit is contained in:
Maciej Borzecki 2014-12-10 13:12:04 +01:00 committed by Andrei Gherzan
parent a1f39c598e
commit eb3f087a56

View File

@ -35,3 +35,5 @@ MACHINE_EXTRA_RRECOMMENDS += " \
# Set raspberrypi splash image
SPLASH = "psplash-raspberrypi"
IMAGE_BOOT_FILES ?= "bcm2835-bootfiles/* ${KERNEL_IMAGETYPE};kernel.img"