From c9d1bf3e7663bf5486cbb7332d748085594247e0 Mon Sep 17 00:00:00 2001
From: Tuomas Tynkkynen <tuomas@tuxera.com>
Date: Fri, 2 Feb 2018 18:13:37 +0200
Subject: [PATCH] platforms.nix: Include RPi 3 serial port in the kernel config

---
 lib/systems/platforms.nix | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/lib/systems/platforms.nix b/lib/systems/platforms.nix
index fd43ceaa0df..282fb0994b5 100644
--- a/lib/systems/platforms.nix
+++ b/lib/systems/platforms.nix
@@ -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