src/config/defaults/pcbios.h

#ifndef CONFIG_DEFAULTS_PCBIOS_H
#define CONFIG_DEFAULTS_PCBIOS_H

/** @file
 *
 * Configuration defaults for PCBIOS
 *
 */

#define IOAPI_X86
#define PCIAPI_PCBIOS
#define TIMER_PCBIOS
#define CONSOLE_PCBIOS

#endif /* CONFIG_DEFAULTS_PCBIOS_H */
[ioapi] Formalise the I/O API as used in i386-pcbios 2008-10-12 01:03:17 +01:00			`#ifndef CONFIG_DEFAULTS_PCBIOS_H`
			`#define CONFIG_DEFAULTS_PCBIOS_H`

			`/** @file`
			`*`
			`* Configuration defaults for PCBIOS`
			`*`
			`*/`

			`#define IOAPI_X86`
[pci] Formalise the PCI I/O API 2008-10-12 12:50:44 +01:00			`#define PCIAPI_PCBIOS`
[timer] Formalise the timer API We now have two implementations for the timer API: one using the time-of-day counter at 40:70 and one using RDTSC. Both make use of timer2_udelay(). 2008-10-12 19:56:52 +01:00			`#define TIMER_PCBIOS`
[config] Split console configuration out to config/console.h 2008-10-12 02:30:31 +01:00			`#define CONSOLE_PCBIOS`

[ioapi] Formalise the I/O API as used in i386-pcbios 2008-10-12 01:03:17 +01:00			`#endif /* CONFIG_DEFAULTS_PCBIOS_H */`