diff options
| author | Maciej Borzecki <maciej.borzecki@open-rnd.pl> | 2014-12-10 13:12:04 +0100 |
|---|---|---|
| committer | Andrei Gherzan <andrei@gherzan.ro> | 2015-01-25 20:39:39 +0200 |
| commit | eb3f087a56a296ee32973f1fd3ac4783ae1bdcef (patch) | |
| tree | 6f298b873d5b2e17db4bc6cbe159612296d76aeb | |
| parent | a1f39c598e6334f5e354d855f46f994c6287e8c8 (diff) | |
| download | meta-raspberrypi-eb3f087a56a296ee32973f1fd3ac4783ae1bdcef.tar.gz | |
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>
| -rw-r--r-- | conf/machine/raspberrypi.conf | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/conf/machine/raspberrypi.conf b/conf/machine/raspberrypi.conf index 1b3702f..732ba32 100644 --- a/conf/machine/raspberrypi.conf +++ b/conf/machine/raspberrypi.conf | |||
| @@ -35,3 +35,5 @@ MACHINE_EXTRA_RRECOMMENDS += " \ | |||
| 35 | 35 | ||
| 36 | # Set raspberrypi splash image | 36 | # Set raspberrypi splash image |
| 37 | SPLASH = "psplash-raspberrypi" | 37 | SPLASH = "psplash-raspberrypi" |
| 38 | |||
| 39 | IMAGE_BOOT_FILES ?= "bcm2835-bootfiles/* ${KERNEL_IMAGETYPE};kernel.img" | ||