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: [...]
Please also test upgrading (or simply reinstalling the same package again). Ben. -- Ben Hutchings Quantity is no substitute for quality, but it's the only one we've got.
signature.asc
Description: This is a digitally signed message part
