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

2014-01-18 Thread Luca Capello
Hi there! On Sun, 12 Jan 2014 22:18:51 +0100, Karsten Merker wrote: > On Sun, Jan 12, 2014 at 08:40:29PM +, 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 us

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

2014-01-18 Thread Luca Capello
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 +, Ben Hutchings wrote: >>> There is obvious precedent for systems with firmware that boots from a >>> VFAT partition. On EFI sys

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

2014-01-18 Thread Ben Hutchings
On Sat, 2014-01-18 at 17:26 +0100, Luca Capello wrote: > 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 +, Ben Hutchings wrote: > >>> There is obvious precedent for syst