Bug#950578: fixed in linux 5.5.13-1

From	Pete Batard <pete@akeo.ie>
Newsgroups	linux.debian.bugs.dist, linux.debian.kernel
Subject	Bug#950578: fixed in linux 5.5.13-1
Date	2020-03-30 10:50 +0200
Message-ID	<zPYhk-4Fn-5@gated-at.bofh.it> (permalink)
References	<zvPgB-2nD-7@gated-at.bofh.it>
Organization	linux.* mail to news gateway

Cross-posted to 2 groups.

Show all headers | View raw

Does that mean that the next Debian ISO installer will use Linux kernel 
5.5.13.1 or later?

Because, if that is not the case, this bug is certainly not fixed at all 
and must be reopened.

To reiterate, the problem is that the official netinst ISO cannot 
perform a network installation of the Debian packages due to its use of 
a 4.x kernel that is lacking an ACPI compatible Genet driver.

This means that the *installation* 4.x kernel (i.e. the default kernel 
used by the installer, which, unlike the post installation kernel, is 
not something that can be upgraded) must be patched with a retrofitted 
Genet driver.

In other words, if this is considered fixed simply because the 
additional Debian kernel package has been updated to latest mainline, 
then this is *NOT* fixed at all, as the one and original problem of not 
being able to perform a networked installation of Debian on a Raspberry 
Pi 4 will remain.

I would therefore appreciate if you can please answer the following:

Will the next release of Debian ditch 4.19 kernels altogether and switch 
to the 5.5.13-1 (or later) kernel for its installer?

Only if the answer to the question above is "yes" can the issue be 
considered fixed.

But if the answer is no, then you must reopen this issue and apply the 
proposed fix, as the 5.5.13.1 update will not address this issue at all.

Thank you,

/Pete

Thread

Bug#950578: linux-image-4.19.67-2-arm64: Add ACPI network interface support for RPi4 (patch attached) Pete Batard <pete@akeo.ie> - 2020-02-03 20:10 +0100
  Bug#950578: (no subject) Pete Batard <pete@akeo.ie> - 2020-02-14 17:40 +0100
    Bug#950578: Updated patch Pete Batard <pete@akeo.ie> - 2020-02-25 12:40 +0100
      Bug#950578: (no subject) Pete Batard <pete@akeo.ie> - 2020-03-03 18:40 +0100
  Bug#950578: marked as done (linux-image-4.19.67-2-arm64: Add ACPI  network interface support for RPi4 (patch attached)) "Debian Bug Tracking System" <owner@bugs.debian.org> - 2020-03-30 10:20 +0200
  Bug#950578: fixed in linux 5.5.13-1 Pete Batard <pete@akeo.ie> - 2020-03-30 10:50 +0200
    Bug#950578: fixed in linux 5.5.13-1 Ben Hutchings <benh@debian.org> - 2020-03-30 15:40 +0200
  Bug#950578: linux-image-5.5.0-1-armmp: enable Raspberry Pi 4 NIC module "bcmgenet" Steven Shiau <steven@nchc.org.tw> - 2020-04-06 10:30 +0200
  Bug#950578: Linux 5.5.0-1-arm64: kernel panic after module bcmgenet was loaded Steven Shiau <steven@nchc.org.tw> - 2020-04-09 05:50 +0200
    Bug#950578: Linux 5.5.0-1-arm64: kernel panic after module bcmgenet was loaded Ben Hutchings <ben@decadent.org.uk> - 2020-04-13 16:40 +0200
  Bug#950578: linux-image-4.19.67-2-arm64: Add ACPI network interface support for RPi4 Pete Batard <pete@akeo.ie> - 2020-05-07 12:20 +0200
    Bug#950578: linux-image-4.19.67-2-arm64: Add ACPI network interface support for RPi4 Ben Hutchings <benh@debian.org> - 2020-05-07 14:50 +0200
      Bug#950578: linux-image-4.19.67-2-arm64: Add ACPI network interface support for RPi4 Pete Batard <pete@akeo.ie> - 2020-05-07 15:30 +0200
        Bug#950578: linux-image-4.19.67-2-arm64: Add ACPI network interface support for RPi4 Ben Hutchings <benh@debian.org> - 2020-05-09 23:30 +0200
          Bug#950578: linux-image-4.19.67-2-arm64: Add ACPI network interface support for RPi4 Pete Batard <pete@akeo.ie> - 2020-05-10 00:40 +0200
          Difficulties with kernel package contributions Ben Hutchings <ben@decadent.org.uk> - 2020-05-17 18:00 +0200

csiph-web