src/config/defaults.h

#ifndef CONFIG_DEFAULTS_H
#define CONFIG_DEFAULTS_H

FILE_LICENCE ( GPL2_OR_LATER );

#define CONFIG_DEFAULTS(_platform) <config/defaults/_platform.h>

#include CONFIG_DEFAULTS(PLATFORM)

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

[legal] Add a selection of FILE_LICENCE declarations 2009-05-01 15:41:06 +01:00			`FILE_LICENCE ( GPL2_OR_LATER );`

[ioapi] Formalise the I/O API as used in i386-pcbios 2008-10-12 01:03:17 +01:00			`#define CONFIG_DEFAULTS(_platform) <config/defaults/_platform.h>`

			`#include CONFIG_DEFAULTS(PLATFORM)`

			`#endif /* CONFIG_DEFAULTS_H */`