From ceb2b71f691e70aa36e4419d9556881502b6845c Mon Sep 17 00:00:00 2001
From: Drew Hess <src@drewhess.com>
Date: Tue, 17 Oct 2017 15:53:51 -0700
Subject: kernel: Build Tegra PCI support.

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

(limited to 'lib/systems')

diff --git a/lib/systems/platforms.nix b/lib/systems/platforms.nix
index 7aeb4d88e51..9ce697a1f7a 100644
--- a/lib/systems/platforms.nix
+++ b/lib/systems/platforms.nix
@@ -545,6 +545,9 @@ rec {
       # Cavium ThunderX stuff.
       PCI_HOST_THUNDER_ECAM y
 
+      # Nvidia Tegra stuff.
+      PCI_TEGRA y
+
       # The default (=y) forces us to have the XHCI firmware available in initrd,
       # which our initrd builder can't currently do easily.
       USB_XHCI_TEGRA m
-- 
cgit 1.4.1