src/config/defaults/pcbios.h

#ifndef CONFIG_DEFAULTS_PCBIOS_H
#define CONFIG_DEFAULTS_PCBIOS_H

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

#define IOAPI_X86

#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`

[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 */`