From 618a8430174ba1b912fc0df5d8bfe1b9cbcdb9c0 Mon Sep 17 00:00:00 2001
From: pyllyukko <pyllyukko@maimed.org>
Date: Tue, 7 Jan 2020 22:27:27 +0200
Subject: [PATCH] KRNL-5788 in Raspi: don't complain about missing /vmlinuz

The Raspberry Pi kernels reside within raspberrypi-kernel package[1].

[1] https://www.raspberrypi.org/documentation/linux/kernel/updating.md
---
 include/tests_kernel | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/include/tests_kernel b/include/tests_kernel
index fbd1ff85..5f5ce856 100644
--- a/include/tests_kernel
+++ b/include/tests_kernel
@@ -392,6 +392,9 @@
             elif [ -e ${ROOTDIR}dev/grsec ]; then
                 FINDKERNEL=linux-image-$(uname -r)
                 LogText "Result: ${ROOTDIR}vmlinuz missing due to grsecurity; assuming ${FINDKERNEL}"
+            elif [ -e ${ROOTDIR}etc/rpi-issue ]; then
+                FINDKERNEL=raspberrypi-kernel
+                LogText "Result: ${ROOTDIR}vmlinuz missing due to Raspbian"
             else
                 LogText "This system is missing ${ROOTDIR}vmlinuz or ${ROOTDIR}boot/vmlinuz.  Unable to check whether kernel is up-to-date."
                 ReportSuggestion "${TEST_NO}" "Determine why ${ROOTDIR}vmlinuz or ${ROOTDIR}boot/vmlinuz is missing on this Debian/Ubuntu system." "/vmlinuz or /boot/vmlinuz"