From 29b9da54ff7988b1c3dd847c7ed4539bc1876491 Mon Sep 17 00:00:00 2001
From: Peter Bui <pbui@nd.edu>
Date: Tue, 10 Dec 2019 08:50:37 -0500
Subject: [PATCH] rpi-kernel: update to 4.19.88.

[ci skip]

- Built for armv6l, armv7l, and aarch64.
- Tested on armv6l and armv7l.
---
 srcpkgs/rpi-kernel/template | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/srcpkgs/rpi-kernel/template b/srcpkgs/rpi-kernel/template
index f829b6b09e9..cb8fb28ec37 100644
--- a/srcpkgs/rpi-kernel/template
+++ b/srcpkgs/rpi-kernel/template
@@ -5,11 +5,11 @@
 #
 #   https://www.raspberrypi.org/forums/viewtopic.php?f=29&t=224931
 
-_githash="c078c64fecb325ee86da705b91ed286c90aae3f6"
+_githash="988cc7beacc150756c3fbe40646afcf8438b741b"
 _gitshort="${_githash:0:7}"
 
 pkgname=rpi-kernel
-version=4.19.86
+version=4.19.88
 revision=1
 wrksrc="linux-${_githash}"
 maintainer="Peter Bui <pbui@github.bx612.space>"
@@ -17,7 +17,7 @@ homepage="http://www.kernel.org"
 license="GPL-2.0-only"
 short_desc="The Linux kernel for Raspberry Pi (${version%.*} series [git ${_gitshort}])"
 distfiles="https://github.com/raspberrypi/linux/archive/${_githash}.tar.gz"
-checksum=debde96b598e3253e0961db5673178691314781f62aca61e2d2d7cda5e089258
+checksum=d743a92b3d94973876dd7513044d4d8b119091ab8e66fcee3d0623e1c09d1d6d
 
 _kernver="${version}_${revision}"