/*
 * Automatically generated C config: don't edit
 */
#define RTL_AUTOCONF_INCLUDED
#define CONFIG_X86 1
/*
 * Architecture Options
 */
#define XtratuM_FP_SUPPORT 1
#define xm_DEFAULT_STACK_SIZE (12288)
#define XtratuM_PROC_INFO 1
#define XtratuM_TIMER_SUPPORT 1
#define XtratuM_XFB_SUPPORT 1
#undef  XFB_KEYB_GENERATES_EVENT
#define XFB_MAX_KEYB_BUFFER_SIZE (128)
#undef  XFB_MOUSE_GENERATES_EVENT
#define XtratuM_USER_LEVEL_SUPPORT 1
#define xm_NUM_PAGES (4096)
#define xm_DEFAULT_UL_STACK_ADDR 0x0