Package: flash-kernel
Version: 3.50
Severity: normal
Tags: patch
diff --git a/functions b/functions
index d86cf7d..d07b967 100644
--- a/functions
+++ b/functions
@@ -629,6 +629,10 @@ if [ -L "$kfile" ]; then
fi
if ! check_supported "$machine"; then
+ # do nothing if an unsupported platform is booted from EFI
+ if [ -d /sys/firmware/efi ]; then
+ echo "Unsupported platform on EFI system."
+ exit 0
error "Unsupported platform."
fi
Dear Maintainer,
* What led up to the situation?
Running:
$ apt-get --reinstall install linux-image-4.2.0-1-arm64; echo $?
Led to:
Processing triggers for flash-kernel (3.50) ...
Unsupported platform.
dpkg: error processing package flash-kernel (--configure):
subprocess installed post-installation script returned error exit status 1
Errors were encountered while processing:
flash-kernel
E: Sub-process /usr/bin/dpkg returned an error code (1)
100
* What exactly did you do (or not do) that was effective (or
ineffective)?
See above.
* What was the outcome of this action?
See above.
* What outcome did you expect instead?
Non-fatal warning.
-- System Information:
Debian Release: stretch/sid
APT prefers testing
APT policy: (500, 'testing')
Architecture: arm64 (aarch64)
Kernel: Linux 4.2.0-1-arm64 (SMP w/1 CPU core)
Locale: LANG=C, LC_CTYPE=C (charmap=ANSI_X3.4-1968)
Shell: /bin/sh linked to /bin/dash
Init: unable to detect
Versions of packages flash-kernel depends on:
ii debconf [debconf-2.0] 1.5.58
ii devio 1.2-1
ii initramfs-tools 0.120
ii linux-base 4.0
ii ucf 3.0031
Versions of packages flash-kernel recommends:
ii u-boot-tools 2015.10+dfsg1-2
flash-kernel suggests no packages.
-- debconf information:
flash-kernel/linux_cmdline: quiet