Bug#783278: flash-kernel: Specifying Boot-Kernel-Image does nothing unless Dtb-Append, Machine-Id or U-Boot-Kernel-Address is also specified
Package: flash-kernel
Version: 3.35
Severity: normal
Dear Maintainer,
* What led up to the situation?
trying to use flash-kernel with a Raspberry Pi.
* What exactly did you do (or not do) that was effective (or
ineffective)?
Created a .db file with:
Machine: BCM2708
Boot-Kernel-Path: /boot/flash/kernel.img
Then ran flash-kernel
* What was the outcome of this action?
flash-kernel should have copied the kernel, but instead did nothing and returned successfully.
* What outcome did you expect instead?
The kernel at /boot/vmlinuz-<latest-version> should have been copied to /boot/flash/kernel.img
-- System Information:
Distributor ID: ev3dev
Description: ev3dev GNU/Linux testing (jessie)
Release: testing
Codename: jessie
Architecture: armv6l
Kernel: Linux 3.18.11-dlech+ (PREEMPT)
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)
Versions of packages flash-kernel depends on:
ii debconf [debconf-2.0] 1.5.56
ii devio 1.2-1+b1
ii initramfs-tools 0.120
ii linux-base 3.5
ii ucf 3.0030
Versions of packages flash-kernel recommends:
ii u-boot-tools 2014.10+dfsg1-5
flash-kernel suggests no packages.
-- Configuration Files:
/etc/flash-kernel/db changed:
Machine: Raspberry Pi
-- debconf information:
* flash-kernel/linux_cmdline:
Reply to: