/*
 * Automatically generated C config: don't edit
 */
#define AUTOCONF_INCLUDED
/*
 * Architecture
 */
#define CONFIG_ARCH_X86 1
#define CONFIG_ARCH_X86_I586 1
/*
 * Kernel Configuration
 */
#define CONFIG_VERSION_X0 1
#define CONFIG_L4_NEWSIGMA0 1
#define CONFIG_IO_FLEXPAGES 1
/*
 * Base Applications
 */
#define CONFIG_BUILD_SIGMA0 1
#define LBS0_X86 0x00020000
#define CONFIG_LIBIO_OUTSCRN 1
