Hi there! 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>
2) while working on adapting Debian to the Openmoko FreeRunner GTA02, we
discovered this problem as well:
<http://news.gmane.org/gmane.comp.hardware.smartphones.pkg-fso-maint/cutoff=5522>
<http://thread.gmane.org/gmane.comp.hardware.smartphones.userland/222/focus=227>
Unfortunately, our effort to fully support that machine in Debian
(mainly by the kernel and d-i) ended too early to find a definitive
solution: we simply suggested to use an ext2 /boot, but I understand
your concerns :-)
Thx, bye,
Gismo / Luca
signature.asc
Description: PGP signature
