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

[Karsten Merker <merker@debian.org>]

close 735092
thanks 

On Sun, Jan 12, 2014 at 10:18:51PM +0100, Karsten Merker wrote:
> On Sun, Jan 12, 2014 at 08:40:29PM +0000, Ben Hutchings wrote:
> > On Sun, 2014-01-12 at 21:16 +0100, Karsten Merker wrote:
> 
> > > - The firmware update mechanism would have to be changed. This is
> > >   outside the scope of Debian and as installing firmware updates
> > >   is something that happens rather frequently on the Pi, that
> > >   must work without problems.
> > 
> > ln -s boot/bootcode.bin /boot/bootcode.bin ?
> 
> I am at the moment unsure whether the current update mechanism
> works properly with a symlink; I'll test that.

It does not seem to work correctly with symlinks in all cases; I
have had test cases with broken installations after upgrades when
using symlinks (in these cases sometimes the symlinks got removed
and replaced by the binary instead of placing the binary at the
target of the symlink).

> > There is obvious precedent for systems with firmware that boots from a
> > VFAT partition.  On EFI systems, starting with ia64 around 10 years ago,
> > GNU/Linux usually mounts the firmware-supported boot partition at
> > /boot/efi rather than /boot.
> 
> I'll talk to Peter Green (one of the people behind Raspbian)
> about the issue.

Raspbian will keep the current setup (i.e. the VFAT system
partition as /boot) at least for the nearer future for
compatibility with the Raspberry Pi foundation's kernel releases. 
The issue has been referred to the foundation in january, but I
have received no response from there, so I am closing my wishlist
bug as it does not make sense to me to keep it open anymore.

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.