src/config/defaults/pcbios.h


1
2
3
4
5
6
7
8
9
10
11
12
13
14

#ifndef CONFIG_DEFAULTS_PCBIOS_H
#define CONFIG_DEFAULTS_PCBIOS_H

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

#define IOAPI_X86
#define PCIAPI_PCBIOS
#define CONSOLE_PCBIOS

#endif /* CONFIG_DEFAULTS_PCBIOS_H */