diff options
author | Michael Boelen <michael.boelen@cisofy.com> | 2020-03-18 13:39:58 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-03-18 13:39:58 +0300 |
commit | 8a426433737d0bae8edde4d451a355b08e9997e3 (patch) | |
tree | 5d1a85a87e92b046070396282ce13b1bf6e1b6bb /include/tests_kernel | |
parent | eaafbb642e232ba70fa5209df64deae1bf709a7f (diff) | |
parent | 618a8430174ba1b912fc0df5d8bfe1b9cbcdb9c0 (diff) |
Merge pull request #822 from pyllyukko/vmlinuz-raspbian
KRNL-5788 in Raspi: don't complain about missing /vmlinuz
Diffstat (limited to 'include/tests_kernel')
-rw-r--r-- | include/tests_kernel | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/include/tests_kernel b/include/tests_kernel index 0f72525e..a5725083 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" |