[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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



Hi there!

On Sat, 18 Jan 2014 12:02:56 +0100, Luca Capello wrote:
> On Sun, 12 Jan 2014 22:18:51 +0100, Karsten Merker wrote:
>> On Sun, Jan 12, 2014 at 08:40:29PM +0000, Ben Hutchings wrote:
>>> 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.
>
> Two notes:
>
> 1) first, the Debian bug for /boot on vfat and dpkg is:
>
>     <http://bugs.debian.org/315493>

Wow, digging into the BTS looked at first quite useful, except for the
fact kernel-img.conf (from kernel-package) seems to be dead:

  <http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=689753#12>
  <http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=555093>

Thx, bye,
Gismo / Luca

Attachment: signature.asc
Description: PGP signature


Reply to: