On Sun, 2014-01-12 at 18:34 +0100, Karsten Merker wrote: > Package: flash-kernel > Version: 3.11 > Severity: wishlist > Tags: patch > > The attached patch adds Raspberry Pi support to flash-kernel. > It is based on current flash-kernel git (as of > 7f52719ab0a607b89555baffd1cc8c14207c0f8f). > > It is available for merging in the "rpi-support-rebased" branch at > http://anonscm.debian.org/gitweb/?p=users/merker/flash-kernel.git;a=shortlog;h=refs/heads/rpi-support-rebased > --- 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)? Ben. -- Ben Hutchings Quantity is no substitute for quality, but it's the only one we've got.
Attachment:
signature.asc
Description: This is a digitally signed message part