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
signature.asc
Description: PGP signature