On Tue, 2019-02-05 at 16:50 +0100, Sebastian Reichel wrote: > Hi, > > Disclaimer: I'm neither part of Debian's boot nor kernel team. > > Here is some feedback: > > On Tue, Feb 05, 2019 at 01:55:27PM +0100, Alexandre GRIVEAUX wrote: > > Adding definition according to: > > > > https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/tree/arch/arm/boot/dts?h=v4.20 > > https://packages.debian.org/stretch/armhf/linux-image-4.9.0-8-armmp/filelist > > https://packages.debian.org/stretch/arm64/linux-image-4.9.0-8-arm64/filelist > > > > A merge request was opened 1 month ago but without reply on: > > > > https://salsa.debian.org/installer-team/flash-kernel > > --- > > db/all.db | 63 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ > > 1 file changed, 63 insertions(+) > > > > diff --git a/db/all.db b/db/all.db > > index 6197d08..4b01b31 100644 > > --- a/db/all.db > > +++ b/db/all.db > > @@ -1474,6 +1474,62 @@ Boot-Script-Path: /boot/boot.scr > > U-Boot-Script-Name: bootscr.uboot-generic > > Required-Packages: u-boot-tools > > > > +Machine: Raspberry Pi 1 Model A > > +Kernel-Flavors: armmp armmp-lpae > > +DTB-Id: bcm2835-rpi-a.dtb > > +U-Boot-Script-Name: bootscr.uboot-generic > > +Required-Packages: u-boot-tools > > +Boot-Script-Path: /boot/boot.scr > > armmp is only build for armhf, which means ARMv7 in Debian. RPi 1 is > ARMv6, so this is not a safe operation in Debian. Note, that > Raspbian uses a different definition of armhf. [...] There is work underway to support the Raspberry Pi 0/1 models in Debian armel, including a new kernel flavour. However, I doubt that it will be called "armmp". There certainly won't be an "armmp-lpae" kernel flavour for armel - LPAE is not even an optional feature before ARMv7. Ben. -- Ben Hutchings It is impossible to make anything foolproof because fools are so ingenious.
Attachment:
signature.asc
Description: This is a digitally signed message part