| #ifndef CONFIG_DEFAULTS_LINUX_H | |
| #define CONFIG_DEFAULTS_LINUX_H | |
| /** @file | |
| * | |
| * Configuration defaults for linux | |
| * | |
| */ | |
| FILE_LICENCE ( GPL2_OR_LATER ); | |
| #define CONSOLE_LINUX | |
| #define TIMER_LINUX | |
| #define UACCESS_LINUX | |
| #define UMALLOC_LINUX | |
| #define NAP_LINUX | |
| #define SMBIOS_LINUX | |
| #define SANBOOT_NULL | |
| #define ENTROPY_LINUX | |
| #define TIME_LINUX | |
| #define REBOOT_NULL | |
| #define PCIAPI_LINUX | |
| #define DRIVERS_LINUX | |
| #define IMAGE_SCRIPT | |
| #endif /* CONFIG_DEFAULTS_LINUX_H */ |