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