pcbios.h

Go to the documentation of this file.

#ifndef CONFIG_DEFAULTS_PCBIOS_H
#define CONFIG_DEFAULTS_PCBIOS_H
 
/** @file
 *
 * Configuration defaults for PCBIOS
 *
 */
 
FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
 
#define UACCESS_OFFSET
#define IOAPI_X86
#define PCIAPI_PCBIOS
#define DMAAPI_FLAT
#define TIMER_PCBIOS
#define NAP_PCBIOS
#define UMALLOC_UHEAP
#define MEMMAP_INT15
#define SMBIOS_PCBIOS
#define SANBOOT_PCBIOS
#define ENTROPY_RTC
#define ENTROPY_RDRAND
#define TIME_RTC
#define REBOOT_PCBIOS
#define ACPI_RSDP
#define MPAPI_PCBIOS
#define SERIAL_SPCR
#define FDT_NULL
 
#ifdef __x86_64__
#define IOMAP_PAGES
#else
#define IOMAP_VIRT
#endif
 
#endif /* CONFIG_DEFAULTS_PCBIOS_H */