| #ifndef CONFIG_DEFAULTS_LINUX_H | |
| #define CONFIG_DEFAULTS_LINUX_H | |
| /** @file | |
| * | |
| * Configuration defaults for linux | |
| * | |
| */ | |
| FILE_LICENCE ( GPL2_OR_LATER ); | |
| #define TIMER_LINUX | |
| #define UACCESS_LINUX | |
| #define UMALLOC_LINUX | |
| #define MEMMAP_NULL | |
| #define NAP_LINUX | |
| #define SMBIOS_LINUX | |
| #define SANBOOT_DUMMY | |
| #define ENTROPY_LINUX | |
| #define TIME_LINUX | |
| #define REBOOT_NULL | |
| #define PCIAPI_LINUX | |
| #define DMAAPI_FLAT | |
| #define ACPI_LINUX | |
| #define MPAPI_NULL | |
| #define SERIAL_NULL | |
| #define FDT_NULL | |
| #define DRIVERS_LINUX | |
| #if defined ( __i386__ ) || defined ( __x86_64__ ) | |
| #define ENTROPY_RDRAND | |
| #endif | |
| #endif /* CONFIG_DEFAULTS_LINUX_H */ |