[Buildroot] [PATCH] rpi-firmware: Add default kernel name to config.txt

Maxime Hadjinlian maxime.hadjinlian at gmail.com
Fri Jan 11 17:55:05 UTC 2013


The default name of the kernel binary for the RaspberryPi is kernel.img, it's a
only a zImage kernel renamed.
Since buildroot will build a zImage, the default config uses that should use it
instead of forcing the user to rename a file.

Signed-off-by: Maxime Hadjinlian <maxime.hadjinlian at gmail.com>
---
 package/rpi-firmware/config.txt |    1 +
 1 file changed, 1 insertion(+)

diff --git a/package/rpi-firmware/config.txt b/package/rpi-firmware/config.txt
index 2cabd68..da212c4 100644
--- a/package/rpi-firmware/config.txt
+++ b/package/rpi-firmware/config.txt
@@ -6,6 +6,7 @@
 
 arm_freq=700
 core_freq=250
+kernel='zImage'
 disable_overscan=1
 gpu_mem_256=100
 gpu_mem_512=100
-- 
1.7.10.4



More information about the buildroot mailing list