[efi] Register a device tree if provided by the platform firmware
[ipxe.git] / src / config / defaults / linux.h
1 #ifndef CONFIG_DEFAULTS_LINUX_H
2 #define CONFIG_DEFAULTS_LINUX_H
3
4 /** @file
5 *
6 * Configuration defaults for linux
7 *
8 */
9
10 FILE_LICENCE ( GPL2_OR_LATER );
11
12 #define CONSOLE_LINUX
13 #define TIMER_LINUX
14 #define UACCESS_LINUX
15 #define UMALLOC_LINUX
16 #define NAP_LINUX
17 #define SMBIOS_LINUX
18 #define SANBOOT_DUMMY
19 #define ENTROPY_LINUX
20 #define TIME_LINUX
21 #define REBOOT_NULL
22 #define PCIAPI_LINUX
23
24 #define DRIVERS_LINUX
25
26 #define IMAGE_SCRIPT
27
28 #define SANBOOT_PROTO_ISCSI
29 #define SANBOOT_PROTO_AOE
30 #define SANBOOT_PROTO_IB_SRP
31 #define SANBOOT_PROTO_FCP
32 #define SANBOOT_PROTO_HTTP
33
34 #endif /* CONFIG_DEFAULTS_LINUX_H */