lib/systems/platforms: note that RPi 3 fixes aren't needed for kernel >=4.17

This commit is contained in:
Ben Wolsieffer 2021-02-06 12:34:48 -05:00
parent 859d540508
commit 1e1588898b

View file

@ -303,7 +303,8 @@ rec {
preferBuiltin = true;
target = "zImage";
extraConfig = ''
# Serial port for Raspberry Pi 3. Upstream forgot to add it to the ARMv7 defconfig.
# Serial port for Raspberry Pi 3. Wasn't included in ARMv7 defconfig
# until 4.17.
SERIAL_8250_BCM2835AUX y
SERIAL_8250_EXTENDED y
SERIAL_8250_SHARE_IRQ y