/* Automatically generated by create_config - do not modify */ | |
#define TARGET_X86_64 1 | |
#define TARGET_NAME "x86_64" | |
#define TARGET_I386 1 | |
#ifdef __linux__ | |
#define CONFIG_KVM 1 | |
#else | |
#define CONFIG_HAX 1 | |
#endif | |
#define CONFIG_SOFTMMU 1 | |
#define CONFIG_I386_DIS 1 | |
#define CONFIG_I386_DIS 1 |