From 17f10f70ad91737061cc94f5d6a9beede1b02f61 Mon Sep 17 00:00:00 2001
From: Shea Levy <shea@shealevy.com>
Date: Sat, 4 May 2013 11:35:01 -0400
Subject: [PATCH] Include xhci_hcd in the initrd for usb3 devices

Fixes #158, I don't think there is an `xhci' module

Signed-off-by: Shea Levy <shea@shealevy.com>
---
 modules/system/boot/kernel.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/modules/system/boot/kernel.nix b/modules/system/boot/kernel.nix
index 7744fd94a2c..291dae31a6f 100644
--- a/modules/system/boot/kernel.nix
+++ b/modules/system/boot/kernel.nix
@@ -180,6 +180,7 @@ in
         "uhci_hcd"
         "ehci_hcd"
         "ohci_hcd"
+        "xhci_hcd"
         "usbhid"
 
         # Unix domain sockets (needed by udev).