platforms.nix: Include RPi 3 serial port in the kernel config

2018-02-06 22:14:09 +02:00
parent 685ceb999e
commit c9d1bf3e76
1 changed files with 5 additions and 0 deletions
@@ -479,6 +479,11 @@ rec {
    kernelPreferBuiltin = true;
    kernelTarget = "zImage";
    kernelExtraConfig = ''
      # Serial port for Raspberry Pi 3. Upstream forgot to add it to the ARMv7 defconfig.
      SERIAL_8250_BCM2835AUX y
      SERIAL_8250_EXTENDED y
      SERIAL_8250_SHARE_IRQ y
      # Fix broken sunxi-sid nvmem driver.
      TI_CPTS y