iPXE
linux.h
Go to the documentation of this file.
1#ifndef CONFIG_DEFAULTS_LINUX_H
2#define CONFIG_DEFAULTS_LINUX_H
3
4/** @file
5 *
6 * Configuration defaults for linux
7 *
8 */
9
10FILE_LICENCE ( GPL2_OR_LATER );
11
12#define TIMER_LINUX
13#define UACCESS_LINUX
14#define UMALLOC_LINUX
15#define MEMMAP_NULL
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#define DMAAPI_FLAT
24#define ACPI_LINUX
25#define MPAPI_NULL
26#define SERIAL_NULL
27#define FDT_NULL
28
29#define DRIVERS_LINUX
30
31#if defined ( __i386__ ) || defined ( __x86_64__ )
32#define ENTROPY_RDRAND
33#endif
34
35#endif /* CONFIG_DEFAULTS_LINUX_H */
#define FILE_LICENCE(_licence)
Declare a particular licence as applying to a file.
Definition compiler.h:896