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

[Ian Campbell <ijc@hellion.org.uk>]

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:
> > On Sun, 2014-01-12 at 18:34 +0100, Karsten Merker wrote:
> 
> > > The attached patch adds Raspberry Pi support to flash-kernel.
> [SNIP]
> > > --- a/README
> > > +++ b/README
> > [...]
> > > +* Rpi-ConfigTxt-Path: (optional) Raspberry Pi firmware configuration pathname.
> > > +  The Raspberry Pi firmware configuration is stored in a text file on the
> > > +  first (FAT formatted) partition of the SD card in the system and 
> > > +  contains settings like kernel file name, video mode, memory split 
> > > +  between CPU and GPU, overclocking parameters, etc. Rpi-ConfigTxt-Path
> > > +  contains the full path to this file (default value: /boot/config.txt).
> > > +
> > [...]
> > 
> > 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:

The normal way of dealing with this is to not have the bootloader
partition mounted on boot, this is described in flash-kernel via the
Boot-Device field. I think this should be honoured for Rpi too.
Rpi-ConfigTxt-Path would then be relative to this device.

Ian.