Package: src:linux Version: 5.2.9-2 Severity: normal Dear Maintainer,
with the 32bit kernel I do not have a serial console on my RPi 3B+. The serial console works fine with the 64bit kernel. Please, add the missing configuration items to enable the console: SERIAL_8250_EXTENDED=y SERIAL_8250_SHARE_IRQ=y SERIAL_8250_BCM2835AUX=y Best regards Heinrich -- Package-specific info: ** Version: Linux version 5.2.0-2-armmp-lpae (debian-kernel@lists.debian.org) (gcc version 8.3.0 (Debian 8.3.0-21)) #1 SMP Debian 5.2.9-2 (2019-08-21)
