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: -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org