[efi] Register a device tree if provided by the platform firmware
[ipxe.git] / src / config / config_romprefix.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/general.h>
25
26 /** @file
27 *
28 * ROM prefix configuration options
29 *
30 */
31
32 PROVIDE_REQUIRING_SYMBOL();
33
34 /*
35 * Provide UNDI loader if PXE stack is requested
36 *
37 */
38 #ifdef PXE_STACK
39 REQUIRE_OBJECT ( undiloader );
40 #endif