diff options
author | Tuomas Tynkkynen <tuomas@tuxera.com> | 2018-02-02 18:13:37 +0200 |
---|---|---|
committer | Tuomas Tynkkynen <tuomas@tuxera.com> | 2018-02-06 22:14:09 +0200 |
commit | c9d1bf3e7663bf5486cbb7332d748085594247e0 (patch) | |
tree | 9047f330e0de0a073d626d78a941b25e8aba2eeb /lib/systems/platforms.nix | |
parent | 685ceb999e71352caf333a9c779828bff0ebe64e (diff) |
platforms.nix: Include RPi 3 serial port in the kernel config
Diffstat (limited to 'lib/systems/platforms.nix')
-rw-r--r-- | lib/systems/platforms.nix | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/lib/systems/platforms.nix b/lib/systems/platforms.nix index fd43ceaa0df2..282fb0994b58 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 |