Bug#735092: flash-kernel: add Raspberry Pi support

[Karsten Merker <merker@debian.org>]

On Sun, Jan 12, 2014 at 07:32:56PM +0000, Ben Hutchings wrote:
> On Sun, 2014-01-12 at 19:24 +0100, Karsten Merker wrote:
> > On Sun, Jan 12, 2014 at 06:00:24PM +0000, Ben Hutchings wrote:

> > > So the boot partition is mounted at /boot?  Doesn't that make it
> > > impossible to install packaged kernels (as dpkg needs to create hard
> > > links)?
> > 
> > Installing a kernel package (locally built using make-kpkg) with
> > a VFAT /boot does not show any problems here:
> [...]
> 
> Please also test upgrading (or simply reinstalling the same package
> again).

Indeed, reinstalling fails:

dpkg: error processing linux-image-3.12.6-rpi+_2014010201_armhf.deb (--install):
 unable to make backup link of `./boot/vmlinuz-3.12.6-rpi+' before installing new version: Operation not permitted

Regards,
Karsten
-- 
Gem. Par. 28 Abs. 4 Bundesdatenschutzgesetz widerspreche ich der Nutzung
sowie der Weitergabe meiner personenbezogenen Daten für Zwecke der
Werbung sowie der Markt- oder Meinungsforschung.