From 5b99d539759ee927cdfd4c4a8cacfedc364b70b1 Mon Sep 17 00:00:00 2001
From: Tuomas Tynkkynen <tuomas.tynkkynen@iki.fi>
Date: Thu, 27 Jul 2017 18:56:34 +0300
Subject: [PATCH] kernel: Build Tegra X1 USB support as a module

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

diff --git a/lib/systems/platforms.nix b/lib/systems/platforms.nix
index ae4fc355c71..54ed8f3c12c 100644
--- a/lib/systems/platforms.nix
+++ b/lib/systems/platforms.nix
@@ -543,6 +543,10 @@ rec {
 
       # Cavium ThunderX stuff.
       PCI_HOST_THUNDER_ECAM 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
     '';
     uboot = null;
     kernelTarget = "Image";