[efi] Register a device tree if provided by the platform firmware
[ipxe.git] / src / config / config_usb.c
1 /*
2 * This program is free software; you can redistribute it and/or
3 * modify it under the terms of the GNU General Public License as
4 * published by the Free Software Foundation; either version 2 of the
5 * License, or (at your option) any later version.
6 *
7 * This program is distributed in the hope that it will be useful, but
8 * WITHOUT ANY WARRANTY; without even the implied warranty of
9 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
10 * General Public License for more details.
11 *
12 * You should have received a copy of the GNU General Public License
13 * along with this program; if not, write to the Free Software
14 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
15 * 02110-1301, USA.
16 *
17 * You can also choose to distribute this program under the terms of
18 * the Unmodified Binary Distribution Licence (as given in the file
19 * COPYING.UBDL), provided that you have satisfied its requirements.
20 */
21
22 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
23
24 #include <config/usb.h>
25
26 /** @file
27 *
28 * USB configuration options
29 *
30 */
31
32 PROVIDE_REQUIRING_SYMBOL();
33
34 /*
35 * Drag in USB controllers
36 */
37 #ifdef USB_HCD_XHCI
38 REQUIRE_OBJECT ( xhci );
39 #endif
40 #ifdef USB_HCD_EHCI
41 REQUIRE_OBJECT ( ehci );
42 #endif
43 #ifdef USB_HCD_UHCI
44 REQUIRE_OBJECT ( uhci );
45 #endif
46 #ifdef USB_HCD_USBIO
47 REQUIRE_OBJECT ( usbio );
48 #endif
49
50 /*
51 * Drag in USB peripherals
52 */
53 #ifdef USB_KEYBOARD
54 REQUIRE_OBJECT ( usbkbd );
55 #endif
56
57 /*
58 * Drag in USB external interfaces
59 */
60 #ifdef USB_EFI
61 REQUIRE_OBJECT ( efi_usb );
62 #endif