void-packages/srcpkgs/rpi3-base/files/20-rpi3
2017-01-14 18:39:50 +01:00

6 lines
129 B
Bash

#!/bin/sh -e
PKGNAME="$1"
VERSION="$2"
echo "Setting RPi3 kernel to ${VERSION}."
cp /boot/vmlinux-${VERSION} /boot/vmlinux-rpi3