config ADK_TARGET_SYSTEM_QEMU_X86_64_32
	bool "Qemu Emulator (x86_64) with 32Bit userland"
	select ADK_x86
	select ADK_qemu_x86_64_32
	select ADK_CPU_I686
	select ADK_HARDWARE_QEMU
	select ADK_TARGET_KERNEL_BZIMAGE
	select ADK_TARGET_KERNEL_64
	help
	 Support for Qemu Emulator (x86_64) with 32 Bit userland.