Versioning support for Raspberry Pi

- Use shipped device tree binaries instead of our own
 - Install kernel + rootfs to $OS_RELEASE subdirectory

Signed-off-by: David Oberhollenzer <david.oberhollenzer@tele2.at>

pkg/boot-rpi3/build

@@ -16,7 +16,6 @@ deploy() {
 	rm $DEPLOY/kernel7.img
 	rm $DEPLOY/kernel.img
 	rm $DEPLOY/COPYING.linux
-	rm $DEPLOY/*.dtb
 
 	cp "$SCRIPTDIR/pkg/boot-rpi3/config.txt" "$DEPLOY/config.txt"
 }

pkg/boot-rpi3/config.txt

@@ -56,3 +56,5 @@
 dtparam=audio=on
 
 enable_uart=1
+
+kernel=KERNELFILE

pkg/linux-rpi3/build

@@ -35,10 +35,7 @@ deploy() {
 	local BUILD="$2"
 	local DEPLOY="$3"
 
-	local CFGFILE="$SCRIPTDIR/board/$BOARD/linux.config"
-
 	pushd $BUILD
-	install -m 755 "arch/arm/boot/zImage" "$DEPLOY/kernel.img"
+	install -m 755 "arch/arm/boot/zImage" "$DEPLOY/vmlinuz"
-	cp arch/arm/boot/dts/*.dtb "$DEPLOY/"
 	popd
 }

pkg/release-rpi3/build

@@ -20,9 +20,15 @@ build() {
 	cp "$SCRIPTDIR/$PKGDIR/$PKGNAME/genimage.sh" "$BUILD"
 
 	# substitute file names in scripts
-	local rootfs_image="rootfs.img"
+	mkdir -p "$BUILD/boot/$OS_RELEASE"
+	mv "$BUILD/boot/rootfs.img" "$BUILD/boot/$OS_RELEASE"
+	mv "$BUILD/boot/vmlinuz" "$BUILD/boot/$OS_RELEASE"
 
-	sed -i 's/ROOTFSFILE/'$rootfs_image'/g' "$BUILD/boot/cmdline.txt"
+	local rootfs_image="$OS_RELEASE/rootfs.img"
+	local kernel_image="$OS_RELEASE/vmlinuz"
+
+	sed -i 's#ROOTFSFILE#'$rootfs_image'#g' "$BUILD/boot/cmdline.txt"
+	sed -i 's#KERNELFILE#'$kernel_image'#g' "$BUILD/boot/config.txt"
 }
 
 deploy() {