#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 */