config ADK_TARGET_SYSTEM_GENERIC_X86_64
	bool "Generic x86_64 PC"
	select ADK_CPU_X86_64
	select ADK_TARGET_KERNEL_BZIMAGE
	select ADK_TARGET_KERNEL_WITH_COMPRESSION
	select ADK_TARGET_WITH_ACPI
	select ADK_TARGET_WITH_PCI
	select ADK_TARGET_WITH_SERIAL
	select ADK_TARGET_WITH_USB
	select ADK_TARGET_WITH_VGA
	select ADK_TARGET_WITH_NET
	select ADK_TARGET_WITH_NETDEVICE
	select ADK_TARGET_WITH_BLOCK
	select ADK_TARGET_WITH_PATA
	select ADK_TARGET_WITH_SATA
	select ADK_TARGET_WITH_IOMMU
	select ADK_TARGET_WITH_SMP
	select ADK_TARGET_CPU_WITH_MTRR
	select ADK_PACKAGE_GRUB
	help
	  Example config for generic x86_64 based PC.
          You need to enable all required drivers manually.