linux (RPi): update to linux-f1d85e3 (5.1.7)

This commit is contained in:
MilhouseVH 2019-06-04 17:27:58 +01:00
parent 7da75fcb7a
commit 0ab63fa0c9

View File

@ -23,8 +23,8 @@ case "$LINUX" in
PKG_SOURCE_NAME="linux-$LINUX-$PKG_VERSION.tar.gz"
;;
raspberrypi)
PKG_VERSION="4b621fdda46932d6620f4c61a5491a11db44e542" # 5.1.5
PKG_SHA256="c8d192cebf692e989f7b9587a1b9af3111f1dbb5a870eb3f623efe1319337d92"
PKG_VERSION="f1d85e3870d18ba8081f498f670d0b5f90b1375c" # 5.1.7
PKG_SHA256="a0aedaa0cbf9b52bb41431262f5b451f01f227ccf95c31bd1b59ed2769017f8a"
PKG_URL="https://github.com/raspberrypi/linux/archive/$PKG_VERSION.tar.gz"
PKG_SOURCE_NAME="linux-$LINUX-$PKG_VERSION.tar.gz"
;;