[Buildroot] [PATCH 8/8] board/raspberrypi: post-image --kernel option

[Robert J. Heywood]

Add an option to specify the kernel to boot.
This can be used to enable uboot on the pi.

Signed-off-by: Robert J. Heywood <robert.heywood at codethink.co.uk>
---
 board/raspberrypi/post-image.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/board/raspberrypi/post-image.sh b/board/raspberrypi/post-image.sh
index dbcaf3b1f8..71d9857f09 100755
--- a/board/raspberrypi/post-image.sh
+++ b/board/raspberrypi/post-image.sh
@@ -66,6 +66,9 @@ __EOF__
 		--skip-sdimg)
 		SEDCMD_SDIMG=" -e '/{SDIMG_START}/,/{SDIMG_END}/d' "
 		;;
+		--kernel=*)
+		sed -e "/^kernel=/s,=.*,=${arg:9}," -i "${BINARIES_DIR}/rpi-firmware/config.txt"
+		;;
 	esac
 
 done
-- 
2.11.0