diff options
-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" | ||